aboutsummaryrefslogtreecommitdiff
path: root/kernel/l0/dbglog.c
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-12-06 23:15:06 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-12-06 23:15:06 +0100
commitacc786cb5805d057932ada3e7c571bb8e901cd67 (patch)
treefe6a9da99a9c5492f1004363a2a1a7aa8bfc8fed /kernel/l0/dbglog.c
parent0b5d6568c468075b6c1a2de065332b270345611b (diff)
downloadkogata-acc786cb5805d057932ada3e7c571bb8e901cd67.tar.gz
kogata-acc786cb5805d057932ada3e7c571bb8e901cd67.zip
Begin review of taking model : making things thread safe.
Diffstat (limited to 'kernel/l0/dbglog.c')
-rw-r--r--kernel/l0/dbglog.c6
1 files changed, 6 insertions, 0 deletions
diff --git a/kernel/l0/dbglog.c b/kernel/l0/dbglog.c
index 5a7251b..e042625 100644
--- a/kernel/l0/dbglog.c
+++ b/kernel/l0/dbglog.c
@@ -1,6 +1,8 @@
#include <stdarg.h>
#include <string.h>
#include <printf.h>
+#include <mutex.h>
+
#include <dbglog.h>
#include <config.h>
#include <sys.h>
@@ -121,13 +123,17 @@ static void serial_puts(const char *c) {
// ==================================================================
+STATIC_MUTEX(dbglog_mutex);
+
void dbglog_setup() {
+ mutex_lock(&dbglog_mutex);
#ifdef DBGLOG_TO_SCREEN
vga_init();
#endif
#ifdef DBGLOG_TO_SERIAL
serial_init();
#endif
+ mutex_unlock(&dbglog_mutex);
}
void dbg_print(const char* str) {