mirror of
https://github.com/seL4/seL4.git
synced 2026-03-27 10:29:57 +00:00
Compare commits
2 Commits
14.0.0
...
lsf37/risc
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
6b204b3fe4 | ||
|
|
69aec5c642 |
@@ -20,6 +20,7 @@ if(KernelPlatformHifive)
|
||||
TIMER_FREQUENCY 1000000
|
||||
MAX_IRQ 53
|
||||
INTERRUPT_CONTROLLER drivers/irq/riscv_plic0.h
|
||||
TIMER_PRECISION 3u
|
||||
)
|
||||
else()
|
||||
unset(KernelPlatformFirstHartID CACHE)
|
||||
|
||||
Reference in New Issue
Block a user