diff --git a/repos/base-hw/lib/mk/bootstrap-hw.inc b/repos/base-hw/lib/mk/bootstrap-hw.inc index d570a3cdd..f5cc198bb 100644 --- a/repos/base-hw/lib/mk/bootstrap-hw.inc +++ b/repos/base-hw/lib/mk/bootstrap-hw.inc @@ -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 diff --git a/repos/base-hw/src/bootstrap/log.cc b/repos/base-hw/src/bootstrap/log.cc index 2f77fa32a..6183b08c5 100644 --- a/repos/base-hw/src/bootstrap/log.cc +++ b/repos/base-hw/src/bootstrap/log.cc @@ -19,6 +19,7 @@ /* base-internal includes */ #include #include +#include #include #include @@ -57,3 +58,5 @@ struct Buffer Genode::Log &Genode::Log::log() { return unmanaged_singleton()->log; } + +void Genode::raw_write_string(char const *str) { log(str); }