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