riscv haskell: add kernel ELF region identifier
(used in proofs only)
This commit is contained in:
parent
b5cb85de96
commit
c1373f3eac
|
@ -22,6 +22,7 @@ data RISCVVSpaceRegionUse
|
|||
= RISCVVSpaceUserRegion
|
||||
| RISCVVSpaceInvalidRegion
|
||||
| RISCVVSpaceKernelWindow
|
||||
| RISCVVSpaceKernelELFWindow
|
||||
| RISCVVSpaceDeviceWindow
|
||||
|
||||
data KernelState = RISCVKernelState {
|
||||
|
|
Loading…
Reference in New Issue