update

[l4.git] / kernel / fiasco / src / kern / ia32 / kip_init-ia32.cpp

diff --git a/kernel/fiasco/src/kern/ia32/kip_init-ia32.cpp b/kernel/fiasco/src/kern/ia32/kip_init-ia32.cpp
index acc748ed0e5e00a80aa0f9144e2aa9ddee7fc50a..c93ad870259bbd7bea7958d5f86b338d4f8f28e6 100644 (file)
--- a/kernel/fiasco/src/kern/ia32/kip_init-ia32.cpp
+++ b/kernel/fiasco/src/kern/ia32/kip_init-ia32.cpp
@@ -71,7 +71,7 @@ namespace KIP_namespace
        /* C0/180 */ {},
        /* D0/1A0 */ {},
        /* E0/1C0 */ 0, 0, {},
-       /* F0/1D0 */ { 0, 0, 0 }, { "" },
+       /* F0/1D0 */ { },
       },
       {}
     };