RTOS/seL4
1
0
Fork 0
forked from Imagelibrary/seL4
Code Pull Requests Activity

arch/riscv64: revise address space comments

Browse Source 
This revises comments of virtual space mapping.

Signed-off-by: Yanfeng Liu <yfliu2008@qq.com>
This commit is contained in:
Yanfeng Liu
2024-11-26 04:39:42 +08:00
committed by Kent McLeod
parent 4b233815fd
commit 58674cdaec
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
include/arch/riscv/arch/64/mode/hardware.h
View File

@@ -33,7 +33,7 @@
* | | Kernel ELF |
* ----| +-------------KERNEL_ELF_BASE-+ --+ 2^64 - 2GiB + (KERNEL_ELF_PADDR_BASE % 1GiB)
* | | | |
* | -> +-----------------------------+ --+ 2^64 - 2GiB = (KERNEL_ELF_BASE % 1GiB)
* | -> +--------------------PPTR_TOP-+ --+ 2^64 - 2GiB
* Shared 1GiB| | | |
* table entry| | PSpace | |
* | | (direct kernel mappings) | +----+
@@ -56,7 +56,7 @@
* | | | | | |
* | User | | | | |
* | | | | | |
* | | +------+ +-------------------------+ KDEV_BASE - KERNEL_ELF_BASE + PADDR_LOAD
* | | +------+ +-------------------------+
* | | kernel | | Kernel ELF |
* | | addressable | +-------------------------+ KERNEL_ELF_PADDR_BASE
* | | | | |