31b916c485
Mappings are done with vaddr=paddr. - I/O space mapped with two gigapages - Kernel space mapped to statically allocated page tables. 2MB of kernel memory is supported. - Page pool is mapped to the kernel space, to allow virtual memory access for the kernel e.g. to initialize the page memory when it is allocated. |
||
---|---|---|
.. | ||
hss-nuttx.yml | ||
kernel-space.ld | ||
ld-envm-opensbi.script | ||
ld-envm.script | ||
ld-kernel.script | ||
ld.script | ||
Make.defs | ||
memory.ld | ||
user-space.ld |