seL4/include/drivers
Curtis Millar ab3d8c44cb
riscv: Map devices with large pages on 32 & 64-bit
For 64-bit, this adds a 2nd-level page table for mapping devices using
2MiB frames instead of 1GiB frames.

The boot mapping and hardware header generator have also been fixed to
correctly report the number of large frames needed for devices rather
than only reporting the first. The frame size is also specified
correctly (rather than assuming mapping with 4KiB frames).

This likely fixes an issue whereby only the first 4KiB frame of a device
was reserved but the remaining region of that kernel device could be
mapped at user level.

Signed-off-by: Curtis Millar <curtis.millar@data61.csiro.au>
2020-12-03 10:31:16 +11:00
..
irq riscv: Map devices with large pages on 32 & 64-bit 2020-12-03 10:31:16 +11:00
smmu trivial: style and comment 2020-10-28 17:30:42 +11:00
timer replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00