From 9094517809504635ee4310682a179259b4c95b4c Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Thu, 24 Aug 2017 16:50:59 +0200
Subject: [PATCH] base-hw: BBL fix warnings

* fix compile warnings
* added license headers to Genodes' part of BBL

issue #2423
---
 repos/base-hw/ports/bbl.hash   |  2 +-
 repos/base-hw/ports/bbl.port   |  2 +-
 repos/base-hw/src/bbl/errno.h  | 13 +++++++++++++
 repos/base-hw/src/bbl/image.S  | 13 +++++++++++++
 repos/base-hw/src/bbl/stdint.h | 13 +++++++++++++
 repos/base-hw/src/bbl/stdio.h  | 18 ++++++++++++++++++
 repos/base-hw/src/bbl/string.h | 13 +++++++++++++
 7 files changed, 72 insertions(+), 2 deletions(-)

diff --git a/repos/base-hw/ports/bbl.hash b/repos/base-hw/ports/bbl.hash
index 2d7612f93..1836d6004 100644
--- a/repos/base-hw/ports/bbl.hash
+++ b/repos/base-hw/ports/bbl.hash
@@ -1 +1 @@
-65cc50461e5e1c4d89f8e41dce69362023f445d7
+98f2f30366201ee9826a78ff165cef69b6fd8e57
diff --git a/repos/base-hw/ports/bbl.port b/repos/base-hw/ports/bbl.port
index ff0e23c75..49a3dac5a 100644
--- a/repos/base-hw/ports/bbl.port
+++ b/repos/base-hw/ports/bbl.port
@@ -3,6 +3,6 @@ VERSION   := git
 DOWNLOADS := bbl.git
 
 URL(bbl) = https://github.com/ssumpf/bbl-lite.git
-REV(bbl) = b24944dde265016ff9b3c8608fe5cc24994e360a
+REV(bbl) = 89f92ff01f675f907755b055c58c2142739d5bd8
 DIR(bbl) = src/lib/bbl
 
diff --git a/repos/base-hw/src/bbl/errno.h b/repos/base-hw/src/bbl/errno.h
index 8bc189cf2..45079dab2 100644
--- a/repos/base-hw/src/bbl/errno.h
+++ b/repos/base-hw/src/bbl/errno.h
@@ -1,3 +1,16 @@
+/**
+ * \brief  Errno definitions
+ * \author Sebastian Sumpf
+ * \date   2017-08-24
+ */
+
+/*
+ * Copyright (C) 2017 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU Affero General Public License version 3.
+ */
+
 #ifndef _ERRNO_H_
 #define _ERRNO_H_
 
diff --git a/repos/base-hw/src/bbl/image.S b/repos/base-hw/src/bbl/image.S
index 3b57e11a5..8cb41bf17 100644
--- a/repos/base-hw/src/bbl/image.S
+++ b/repos/base-hw/src/bbl/image.S
@@ -1,3 +1,16 @@
+/**
+ * \brief  Placeholder for 'image.elf'
+ * \author Sebastian Sumpf
+ * \date   2017-08-24
+ */
+
+/*
+ * Copyright (C) 2017 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU Affero General Public License version 3.
+ */
+
 .section ".payload","a",@progbits
 .align 3
 
diff --git a/repos/base-hw/src/bbl/stdint.h b/repos/base-hw/src/bbl/stdint.h
index 9f777c5a1..5a264ca9a 100644
--- a/repos/base-hw/src/bbl/stdint.h
+++ b/repos/base-hw/src/bbl/stdint.h
@@ -1,3 +1,16 @@
+/**
+ * \brief  Base types
+ * \author Sebastian Sumpf
+ * \date   2017-08-24
+ */
+
+/*
+ * Copyright (C) 2017 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU Affero General Public License version 3.
+ */
+
 #ifndef _STDINT_H_
 #define _STDINT_H_
 
diff --git a/repos/base-hw/src/bbl/stdio.h b/repos/base-hw/src/bbl/stdio.h
index e8d5e5b5d..4aaca838f 100644
--- a/repos/base-hw/src/bbl/stdio.h
+++ b/repos/base-hw/src/bbl/stdio.h
@@ -1,6 +1,24 @@
+/**
+ * \brief  Stdio definitions
+ * \author Sebastian Sumpf
+ * \date   2017-08-24
+ */
+
+/*
+ * Copyright (C) 2017 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU Affero General Public License version 3.
+ */
+
 #ifndef _STDIO_H_
 #define _STDIO_H_
 
+#include <stdarg.h>
+
 typedef unsigned long long uint64_t;
 
+int snprintf(char *, size_t, const char *, ...);
+int vsnprintf(char *, size_t, const char *, va_list);
+
 #endif /* _STDIO_H_ */
diff --git a/repos/base-hw/src/bbl/string.h b/repos/base-hw/src/bbl/string.h
index 47693f0e0..f92947efc 100644
--- a/repos/base-hw/src/bbl/string.h
+++ b/repos/base-hw/src/bbl/string.h
@@ -1,3 +1,16 @@
+/**
+ * \brief  String definitions
+ * \author Sebastian Sumpf
+ * \date   2017-08-24
+ */
+
+/*
+ * Copyright (C) 2017 Genode Labs GmbH
+ *
+ * This file is part of the Genode OS framework, which is distributed
+ * under the terms of the GNU Affero General Public License version 3.
+ */
+
 #ifndef _STRING_H_
 #define _STRING_H_