From 8aef73c5aa0603b20afb8a0a355d30acddaac0d6 Mon Sep 17 00:00:00 2001
From: Balazs Gerofi <bgerofi@knf3.il.is.s.u-tokyo.ac.jp>
Date: Tue, 1 May 2012 16:42:07 +0900
Subject: [PATCH] __KERNEL__

---
 kernel/Makefile.build | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/kernel/Makefile.build b/kernel/Makefile.build
index dacd1f81..d82e683a 100644
--- a/kernel/Makefile.build
+++ b/kernel/Makefile.build
@@ -3,13 +3,13 @@ OBJS = init.o mem.o debug.o mikc.o listeners.o ap.o syscall.o cls.o host.o
 OBJS += process.o copy.o
 DEPSRCS=$(wildcard $(SRC)/*.c)
 
-include $(SRC)/configs/config.$(TARGET)
-include $(AALBASE)/Makefile.common
-
-CFLAGS += -I$(SRC)/include -mcmodel=kernel
+CFLAGS += -I$(SRC)/include -mcmodel=kernel -D__KERNEL__
 LDFLAGS += -e arch_start
 AALOBJ = aal/aal.o
 
+include $(SRC)/configs/config.$(TARGET)
+include $(AALBASE)/Makefile.common
+
 SUBCMD_OPTS = TARGET=$(TARGET) O=$(CURDIR)/aal CC=$(CC) LD=$(LD)
 
 ld_kern_cmd_base = $(LD) $(LDFLAGS) -o $@.elf $^