x86: use setters/getters for MSR_{FS,GS}_BASE
[akaros.git] / kern / arch / x86 / Makefile
index 55a917e..2d121f6 100644 (file)
@@ -1,5 +1,4 @@
-ifeq ($(CONFIG_X86_64),y)
-CROSS_COMPILE := x86_64-ros-
+CROSS_COMPILE := x86_64-ucb-akaros-
 BITS := 64
 KERNEL_LD := kernel64.ld
 CFLAGS_KERNEL += -mcmodel=kernel
@@ -8,13 +7,10 @@ CFLAGS_KERNEL += -mno-mmx -mno-sse -mno-sse2 -mno-sse3 -mno-3dnow
 LDFLAGS_KERNEL += -z max-page-size=0x1000
 # Need to change the format to 32 bit, to trick multiboot/grub1 into loading
 ARCH_POST_LINK_CMD = cp $@ $@-64b; $(OBJCOPY) -I elf64-x86-64 -O elf32-i386 $@
-else ifeq ($(CONFIG_X86_32),y)
-CROSS_COMPILE := i686-ros-
-BITS := 32
-KERNEL_LD := kernel32.ld
-# basically a nop.  this runs post-link of the kernel
-       ARCH_POST_LINK_CMD = echo -n
-endif
+
+# Machinery to create the kernel build info source
+KERNEL_ELF_PATH := $(abspath $(KERNEL_OBJ))-64b
+export KERNEL_ELF_PATH
 
 # BITS is used in Kbuilds, so we can select bit-specific source files.
 export BITS