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 | ||