2 * uClinux kernel startup code for s5c7375
3 * which has no proper bootloader for linux startup
6 #include <linux/config.h>
7 #include <linux/linkage.h>
8 #include <linux/init.h>
10 #include <asm/assembler.h>
11 #include <asm/mach-types.h>
12 #include <asm/procinfo.h>
13 #include <asm/ptrace.h>
14 #include <asm/mach/arch.h>
17 * Kernel startup entry point.
91 #include "../kernel/head.S"