1 #include "kernel/kernel.h" /* configures the kernel */
5 #include <machine/vm.h>
6 #include "kernel/kernel.h"
7 #include <minix/config.h>
8 #include <minix/const.h>
10 #include <machine/asm.h>
11 #include <machine/interrupt.h>
12 #include "archconst.h"
13 #include "kernel/const.h"
14 #include "kernel/proc.h"
16 #include <machine/multiboot.h>
17 #include <machine/cpu.h>
19 #include "arch_proto.h" /* K_STACK_SIZE */
22 /*===========================================================================*/
24 /*===========================================================================*/
27 /* this is the entry point for the MINIX kernel */
32 ldr sp, =load_stack_start /* make usable stack */
36 /* Kernel is mapped high now and ready to go, with
37 * the boot info pointer returned by pre_init in r0.
38 * Set the highly mapped stack and initialize it.
40 * Afther that call kmain with r0 still pointing to boot info
42 ldr sp, =k_initial_stktop
44 push {r1} /* Terminate stack */
45 ldr r2, =_C_LABEL(kmain) /* r0 holds kinfo_t ptr */