ccflags-y += -I$(srctree)/include/microkernel
ccflags-y += -I$(CURDIR)/misc/generated/sysgen

obj-y = kernel_main.o