#include "src/kernel/log.h"
#include "src/kernel/stream.h"

stream_t *kernel_log;

void log_init(stream_t *log) {
  kernel_log = log;
}