diff --git a/repos/dde_zircon/src/drivers/input/zx_pc_ps2/main.cc b/repos/dde_zircon/src/drivers/input/zx_pc_ps2/main.cc
index b8a69e156a..808b2d727e 100644
--- a/repos/dde_zircon/src/drivers/input/zx_pc_ps2/main.cc
+++ b/repos/dde_zircon/src/drivers/input/zx_pc_ps2/main.cc
@@ -39,7 +39,7 @@ struct Main
 	{
 		int old_state = old_st & key;
 		int new_state = new_st & key;
-		int key_code;
+		int key_code = Input::KEY_UNKNOWN;
 
 		if (old_state == new_state){
 			return;
diff --git a/repos/dde_zircon/src/lib/zircon/libc.cc b/repos/dde_zircon/src/lib/zircon/libc.cc
index c10a490258..cc6b23bda4 100644
--- a/repos/dde_zircon/src/lib/zircon/libc.cc
+++ b/repos/dde_zircon/src/lib/zircon/libc.cc
@@ -61,7 +61,7 @@ extern "C" {
 		return 0;
 	}
 
-	Genode::size_t strlen(char *str)
+	Genode::size_t strlen(const char *str)
 	{
 		Genode::size_t len = 0;
 		while (str[++len] != '\0');