X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/5a0e6ead0fbfbb912cd817abad695c078e82481c..8d9e85aaae867f39cdd610261e3a4181c25add2d:/kernel/fiasco/src/kern/arm/kip_init.cpp

diff --git a/kernel/fiasco/src/kern/arm/kip_init.cpp b/kernel/fiasco/src/kern/arm/kip_init.cpp
index ced7de37f..1f1a8d7f6 100644
--- a/kernel/fiasco/src/kern/arm/kip_init.cpp
+++ b/kernel/fiasco/src/kern/arm/kip_init.cpp
@@ -57,7 +57,7 @@ namespace KIP_namespace
 	/* B0 */ 0, 0, {},
 	/* C0 */ {},
 	/* E0 */ 0, 0, {},
-	/* F0 */ { 0, 0, 0 }, { "" },
+	/* F0 */ { },
       },
       "",
     };