apm88xxxx: cpu driver: add serial init and printf.
[barrelfish] / kernel / arch / apm88xxxx / init.c
1 #include <kernel.h>
2 #include <serial.h>
3
4 /**
5  * \brief Kernel stack.
6  *
7  * This is the one and only kernel stack for a kernel instance.
8  */
9 uintptr_t kernel_stack[KERNEL_STACK_SIZE / sizeof(uintptr_t)] __attribute__ ((aligned(16)));
10
11 __attribute__((noreturn))
12 void arch_init(void *arg);
13 void arch_init(void *arg)
14 {
15     // set console port: XXX which?
16     serial_console_port = 0;
17
18     // init serial console, skip hwinit for now
19     serial_console_init(false);
20
21     // print something
22     printf("Barrelfish APM88xxxx CPU driver starting at addr 0x%"
23             PRIxLVADDR" on core %"PRIuCOREID"\n",
24             local_phys_to_mem((lpaddr_t)&kernel_first_byte), my_core_id);
25
26     while(1);
27 }