Module platform_d1

Source

Modules§

kernel_map
This module contains constants that define how the kernel address space is laid out on RISC-V, using the Sv39 paging model. The Sv39 model provides us with a 512GiB address space, which is a little more compact than the layout we have on other architectures or with Sv48, but still more than sufficient for the vast majority of platforms.
memory

Constants§

VIRTUAL_ADDRESS_BITS

Type Aliases§

PageTableImpl