update

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

diff --git a/kernel/fiasco/src/abi/kip.cpp b/kernel/fiasco/src/abi/kip.cpp
index 4bc8c34c07bad10c0a1d7d246380fe8076faf504..b3b3b86c4949273ea5aedf34a7afae4a64e33a30 100644 (file)
--- a/kernel/fiasco/src/abi/kip.cpp
+++ b/kernel/fiasco/src/abi/kip.cpp
@@ -42,25 +42,6 @@ public:
   // returns the 1st address beyond all available physical memory
   Address main_memory_high() const;
 
-  enum Kernel_uart_info_type
-  {
-    Kernel_uart_info_invalid = 0,
-    Kernel_uart_info_ioport,
-    Kernel_uart_info_mmio,
-  };
-
-  struct Kernel_uart_info
-  {
-    Unsigned32 type;
-    Unsigned32 irqno;
-    Unsigned64 base;
-  };
-
-  struct Platform_info
-  {
-    char name[16];
-  };
-
 private:
   static Kip *global_kip asm ("GLOBAL_KIP");
 };