X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/c06638d2e57a3230381daf1ccce3cf0dfd0eaa92..8d9e85aaae867f39cdd610261e3a4181c25add2d:/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 06e5b177c..ca6ce7a90 100644
--- 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];
 };
 
 //---------------------------------------------------------------------------