e9bdd85e81
The memory mapping for the timer only uses 1K on AllwinnerA20, but the minimum device mapping is 4K in seL4. Other devices within this 4K page (CCU and PIO) cannot be accessed in the userland. Replace the kernel timer with the ARM generic timer on AllwinnerA20, and remove the implementation for AllwinnerA20 specific timer in the kernel. So we should have user access to those devices now. Signed-off-by: Luca (Wei) Chen <wei@cvluca.com> |
||
|---|---|---|
| .. | ||
| irq | ||
| smmu | ||
| timer | ||
| uart.h | ||