Avoids deadlock when handle_page_fault() fails
[akaros.git] / kern / Makefrag
index 3523940..d0d60c9 100644 (file)
@@ -1,10 +1,10 @@
 KERN_DIR := kern
 
-KERN_CFLAGS := $(CFLAGS) -DROS_KERNEL
+KERN_CFLAGS += $(CFLAGS) -DROS_KERNEL
 KERN_CFLAGS += -I$(INCLUDE_DIR)
 KERN_LDFLAGS := $(LDFLAGS)
 
-include $(KERN_DIR)/boot/Makefrag
+include $(KERN_DIR)/arch/$(TARGET_ARCH)/boot/Makefrag
 include $(KERN_DIR)/ivy/Makefrag
 include $(KERN_DIR)/arch/$(TARGET_ARCH)/Makefrag
 include $(KERN_DIR)/src/Makefrag