x86: objdump 64 bit kernel properly
[akaros.git] / kern / arch / x86 / Makefile
1 ifeq ($(CONFIG_X86_64),y)
2 #CROSS_COMPILE := x86_64-ros-
3 CROSS_COMPILE := 
4 BITS := 64
5 KERNEL_LD := kernel64.ld
6 CFLAGS_KERNEL += -mcmodel=kernel
7 CFLAGS_KERNEL += -mno-red-zone -ffreestanding
8 CFLAGS_KERNEL += -mno-mmx -mno-sse -mno-sse2 -mno-sse3 -mno-3dnow
9 LDFLAGS_KERNEL += -z max-page-size=0x1000
10 OBJDUMP_FLAGS += -M x86-64
11 else
12 CROSS_COMPILE := i686-ros-
13 BITS := 32
14 KERNEL_LD := kernel32.ld
15 endif
16
17 # BITS is used in Kbuilds, so we can select bit-specific source files.
18 export BITS