From a2be0adefa4660ae18b0ab7c8e2dca7abdd3c34a Mon Sep 17 00:00:00 2001
From: Erin <erin@erindesu.cz>
Date: Mon, 7 Aug 2023 01:43:29 +0200
Subject: [PATCH] Spec update

---
 spec.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec.md b/spec.md
index 8c353b18..e98852ff 100644
--- a/spec.md
+++ b/spec.md
@@ -261,13 +261,13 @@
 # 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
 - In case of accessing invalid address:
     - Program shall trap (LoadAccessEx, StoreAccessEx) with parameter of accessed address
     - Value of register when trapped is undefined
 
 ## Recommendations
-- Leave address `0x0` as invalid
 - If paging used:
     - Leave first page invalid
     - Pages should be at least 4 KiB