]> rtime.felk.cvut.cz Git - l4.git/blobdiff - kernel/fiasco/src/kern/ppc32/kip_init.cpp
update
[l4.git] / kernel / fiasco / src / kern / ppc32 / kip_init.cpp
index ab26d53556cb96a1727e00c8312db8195eb747c8..6b565c396f5bd52fe64e97850449291b6802e50b 100644 (file)
@@ -52,7 +52,7 @@ namespace KIP_namespace
        /* B0 */ 0, 0, {},
        /* C0 */ {},
        /* E0 */ 0, 0, {},
-       /* F0 */ { 0, 0, 0 }, { "" },
+       /* F0 */ { },
       },
       "",
     };