Aren
/
rulimine
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

docs/protocol: Fix typo and mandate ra and gp registers to be 0 for rv64

This commit is contained in:
mintsuki 2023-07-13 03:39:47 +02:00
parent 1f82dd89c7
commit e261a96fa4
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
PROTOCOL.md
View File

@ -205,13 +205,13 @@ At entry the machine is executing in Supervisor mode.
unless the an Entry Point feature is requested (see below), in which case, unless the an Entry Point feature is requested (see below), in which case,
the value of `pc` is going to be taken from there. the value of `pc` is going to be taken from there.
`x1`(`ra`) is undefined, the kernel must not return from the entry point. `x1`(`ra`) is set to 0, the kernel must not return from the entry point.
`x2`(`sp`) is set to point to a stack, in bootloader-reclaimable memory, which is `x2`(`sp`) is set to point to a stack, in bootloader-reclaimable memory, which is
at least 64KiB (65536 bytes) in size, or the size specified in the Stack at least 64KiB (65536 bytes) in size, or the size specified in the Stack
Size Request (see below). Size Request (see below).
`x3`(`gp`) is undefined, kernel must load its own global pointer if needed. `x3`(`gp`) is set to 0, kernel must load its own global pointer if needed.
All other general purpose registers, with the exception of `x5`(`t0`), are set to 0. All other general purpose registers, with the exception of `x5`(`t0`), are set to 0.
@ -221,7 +221,7 @@ If booted by EFI/UEFI, boot services are exited.
`sstatus.FS` and `sstatus.XS` are both set to `Off`. `sstatus.FS` and `sstatus.XS` are both set to `Off`.
Paging is enable with the paging mode specified by the Paging Mode feature (see below). Paging is enabled with the paging mode specified by the Paging Mode feature (see below).
The (A)PLIC, if present, is in an undefined state. The (A)PLIC, if present, is in an undefined state.