git.barrelfish.org Git - barrelfish/blob - 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 }