armv8: Improve readability of register restoration code

[barrelfish] / README_ARRAKIS

diff --git a/README_ARRAKIS b/README_ARRAKIS
index aa470c5..1169eee 100644 (file)
--- a/README_ARRAKIS
+++ b/README_ARRAKIS
@@ -4,7 +4,7 @@ All rights reserved.
 
 This file is distributed under the terms in the attached LICENSE file.
 If you do not find this file, copies can be found by writing to:
-ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
+ETH Zurich D-INFK, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
 ##########################################################################
 
 Arrakis README Supplement