1 // kernel.cc
2 
3 #include <uart.h>
4 
5 
6 namespace {
7 
8 
9 void
10 uart_send_string(const char *szContent)
11 {
12     const char *szCurrent = szContent;
13     while (*szCurrent) {
14         Board::Uart::send(*szCurrent);
15         ++szCurrent;
16     }
17 }
18 
19 
20 } // anonymous namespace 
21 
22 
23 extern "C"
24 void
25 kernel_entry_point()
26 {
27     Board::Uart::initialize();
28     uart_send_string("Squat entry point\r\n");
29 
30     for (; ; )
31         ;
32 }