forked from AbleOS/holey-bytes
Spec update
This commit is contained in:
parent
629fc969c2
commit
aa186b35c2
2
spec.md
2
spec.md
|
@ -261,13 +261,13 @@
|
||||||
# Memory
|
# Memory
|
||||||
- Addresses are 64 bit
|
- Addresses are 64 bit
|
||||||
- Program should be in the same address space as all other data
|
- Program should be in the same address space as all other data
|
||||||
|
- Address `0x0` is invalid and acessing it traps
|
||||||
- Memory implementation is arbitrary
|
- Memory implementation is arbitrary
|
||||||
- In case of accessing invalid address:
|
- In case of accessing invalid address:
|
||||||
- Program shall trap (LoadAccessEx, StoreAccessEx) with parameter of accessed address
|
- Program shall trap (LoadAccessEx, StoreAccessEx) with parameter of accessed address
|
||||||
- Value of register when trapped is undefined
|
- Value of register when trapped is undefined
|
||||||
|
|
||||||
## Recommendations
|
## Recommendations
|
||||||
- Leave address `0x0` as invalid
|
|
||||||
- If paging used:
|
- If paging used:
|
||||||
- Leave first page invalid
|
- Leave first page invalid
|
||||||
- Pages should be at least 4 KiB
|
- Pages should be at least 4 KiB
|
||||||
|
|
Loading…
Reference in a new issue