// kernel.cc

#include <uart.h>


namespace {


void
uart_send_string(const char *szContent)
{
    const char *szCurrent = szContent;
    while (*szCurrent)
    {
        Board::Uart::send(*szCurrent);
        ++szCurrent;
    }
}


void
uart_echo_test_mode()
{
    uart_send_string("UART echo test mode\r\n> ");
    for (; ; )
    {
        Board::Uart::send(Board::Uart::recv());
    }
}


} // anonymous namespace 


extern "C"
void
kernel_entry_point()
{
    Board::Uart::initialize();
    uart_send_string("Squat entry point\r\n");

    uart_echo_test_mode();
}