forked from AbleOS/holey-bytes
Edit 0x0
This commit is contained in:
parent
529fbdaed4
commit
1460a7a230
3
spec.md
3
spec.md
|
@ -262,8 +262,9 @@
|
|||
# Memory
|
||||
- Addresses are 64 bit
|
||||
- Program should be in the same address space as all other data
|
||||
- Address `0x0` is invalid and acessing it traps
|
||||
- Memory implementation is arbitrary
|
||||
- Address `0x0` may or may not be valid. Count with compilers
|
||||
considering it invalid!
|
||||
- In case of accessing invalid address:
|
||||
- Program shall trap (LoadAccessEx, StoreAccessEx) with parameter of accessed address
|
||||
- Value of register when trapped is undefined
|
||||
|
|
Loading…
Reference in a new issue