2 * Copyright 2011, François Revol <revol@free.fr>.
3 * All rights reserved. Distributed under the terms of the MIT License.
6 #include <arch/arm/arch_cpu.h>
13 /* status_t arch_start_kernel(struct kernel_args *kernelArgs,
14 addr_t kernelEntry, addr_t kernelStackTop);
20 FUNCTION(arch_start_kernel):
22 // set the kernel stack
25 // set up kernel _start args
26 //mov r0,r0 // kernelArgs
28 mov r1,#0 // currentCPU=0
37 FUNCTION_END(arch_start_kernel)