OUTPUT_FORMAT(elf32-i386)
OUTPUT_ARCH(i386)
ENTRY(_entry)

MEMORY {
  kernel (!a) : ORIGIN = 0x00000000, LENGTH = 0x08000000
  user  (awx) : ORIGIN = 0x08000000, LENGTH = 0xf8000000
}