update

[l4.git] / kernel / fiasco / src / abi / arm / kip-arm.cpp

diff --git a/kernel/fiasco/src/abi/arm/kip-arm.cpp b/kernel/fiasco/src/abi/arm/kip-arm.cpp
index 06e5b177c0104c3f870cd5f8d19d872f3e363ab7..ca6ce7a9025f7f8b8d63a45c1cea60fbc73d65c1 100644 (file)
--- a/kernel/fiasco/src/abi/arm/kip-arm.cpp
+++ b/kernel/fiasco/src/abi/arm/kip-arm.cpp
@@ -65,8 +65,7 @@ public:
   char _res8[8];
 
   /* 0xF0 */
-  Kernel_uart_info  kernel_uart_info;
-  Platform_info     platform_info;
+  Unsigned32 __reserved[20];
 };
 
 //---------------------------------------------------------------------------