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