X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/35719fdd2ff27177690edb32843d32e092a006e3..5658d2ec9c1081516a8868259fa867926e25ab3f:/kernel/fiasco/src/kern/arm/bsp/sa1100/mem_layout-arm-sa1100.cpp

diff --git a/kernel/fiasco/src/kern/arm/bsp/sa1100/mem_layout-arm-sa1100.cpp b/kernel/fiasco/src/kern/arm/bsp/sa1100/mem_layout-arm-sa1100.cpp
index 578c6607c..d9cc6c078 100644
--- a/kernel/fiasco/src/kern/arm/bsp/sa1100/mem_layout-arm-sa1100.cpp
+++ b/kernel/fiasco/src/kern/arm/bsp/sa1100/mem_layout-arm-sa1100.cpp
@@ -4,20 +4,16 @@ INTERFACE [arm-sa1100]:
 EXTENSION class Mem_layout
 {
 public:
-  enum Virt_layout_sa1100 {
-    Uart_map_base        = 0xef100000,
-    Timer_map_base       = 0xef200000,
-    Pic_map_base         = 0xef250000,
-    Uart_base            = Uart_map_base + 0x50000,
+  enum Virt_layout_sa1100 : Address {
+    Uart_base            = Devices0_map_base + 0x50000,
+    Timer_map_base       = Devices1_map_base,
+    Pic_map_base         = Devices1_map_base + 0x50000,
   };
 
-  enum Phys_layout {
-    Uart_phys_base       = 0x80050000,
-    Timer_phys_base      = 0x90000000,
-    Pic_phys_base        = 0x90050000,
+  enum Phys_layout : Address {
+    Devices0_phys_base   = 0x80000000,
+    Devices1_phys_base   = 0x90000000,
     Sdram_phys_base      = 0xc0000000,
     Flush_area_phys_base = 0xe0000000,
   };
 };
-
-