akaros/kern/arch/x86/Makefile
<<
>>
Prefs
   1CROSS_COMPILE := x86_64-ucb-akaros-
   2BITS := 64
   3KERNEL_LD := kernel64.ld
   4CFLAGS_KERNEL += -mcmodel=kernel
   5CFLAGS_KERNEL += -mno-red-zone -ffreestanding
   6CFLAGS_KERNEL += -mno-mmx -mno-sse -mno-sse2 -mno-sse3 -mno-3dnow
   7LDFLAGS_KERNEL += -z max-page-size=0x1000
   8# Need to change the format to 32 bit, to trick multiboot/grub1 into loading
   9ARCH_POST_LINK_CMD = cp $@ $@-64b; $(OBJCOPY) -I elf64-x86-64 -O elf32-i386 $@
  10
  11# BITS is used in Kbuilds, so we can select bit-specific source files.
  12export BITS
  13