14bed81e32f3a4964434a3c145f5139d896b9b67
[barrelfish] / kernel / arch / apm88xxxx / init.c
1 #include <kernel.h>
2
3 /**
4  * \brief Kernel stack.
5  *
6  * This is the one and only kernel stack for a kernel instance.
7  */
8 uintptr_t kernel_stack[KERNEL_STACK_SIZE / sizeof(uintptr_t)] __attribute__ ((aligned(16)));
9
10 void arch_init(void *arg);
11 void arch_init(void *arg)
12 {
13 }