Spec update

pull/2/head
ondra05 2023-08-07 01:41:26 +02:00
parent 3597881651
commit b93e7ea184
No known key found for this signature in database
GPG Key ID: 0DA6D2BB2285E881
1 changed files with 1 additions and 0 deletions

View File

@ -260,6 +260,7 @@
# Memory
- Addresses are 64 bit
- Program should be in the same address space as all other data
- Memory implementation is arbitrary
- In case of accessing invalid address:
- Program shall trap (LoadAccessEx, StoreAccessEx) with parameter of accessed address