1 #include "threads/loader.h"
3 OUTPUT_FORMAT("elf32-i386")
5 ENTRY(start) /* Kernel starts at "start" symbol. */
8 /* Specifies the virtual address for the kernel base. */
9 . = LOADER_PHYS_BASE + LOADER_KERN_BASE;
13 /* Kernel starts with code, followed by read-only data and writable data. */
14 .text : { *(.start) *(.text) } = 0x90
15 .rodata : { *(.rodata) *(.rodata.*) }
18 /* BSS (zero-initialized data) is after everything else. */