From 4dd9d5eb6c426f86fa9c6984a7ef94185ffbd8a0 Mon Sep 17 00:00:00 2001
From: Christian Prochaska <christian.prochaska@genode-labs.com>
Date: Tue, 21 May 2019 11:56:41 +0200
Subject: [PATCH] dde_zircon: fix compile error with GCC 8.3.0

Fixes #3366
---
 repos/dde_zircon/src/drivers/input/zx_pc_ps2/main.cc | 2 +-
 repos/dde_zircon/src/lib/zircon/libc.cc              | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

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');