Kernel/Arch/aarch64/Utils.cpp


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

/*
 * Copyright (c) 2021, Marcin Undak <mcinek@gmail.com>
 *
 * SPDX-License-Identifier: BSD-2-Clause
 */

#include <Kernel/Arch/aarch64/UART.h>
#include <Kernel/Arch/aarch64/Utils.h>

void Prekernel::dbgln(const char* text)
{
    auto& uart = Prekernel::UART::the();
    uart.print_str(text);
    uart.print_str("\r\n");
}

void Prekernel::warnln(const char* text)
{
    dbgln(text);
}