hw: enable Genode::raw for bootstrap

Ref #3531
This commit is contained in:
Stefan Kalkowski 2019-10-16 15:06:44 +02:00 committed by Christian Helmuth
parent 4007cee852
commit 3e3fb63863
2 changed files with 4 additions and 0 deletions

View File

@ -17,6 +17,7 @@ SRC_CC += lib/base/heap.cc
SRC_CC += lib/base/registry.cc
SRC_CC += lib/base/log.cc
SRC_CC += lib/base/output.cc
SRC_CC += lib/base/raw_output.cc
SRC_CC += lib/base/slab.cc
SRC_CC += lib/base/sleep.cc
SRC_CC += lib/base/sliced_heap.cc

View File

@ -19,6 +19,7 @@
/* base-internal includes */
#include <base/internal/globals.h>
#include <base/internal/output.h>
#include <base/internal/raw_write_string.h>
#include <base/internal/unmanaged_singleton.h>
#include <board.h>
@ -57,3 +58,5 @@ struct Buffer
Genode::Log &Genode::Log::log() {
return unmanaged_singleton<Buffer>()->log; }
void Genode::raw_write_string(char const *str) { log(str); }