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

obj-y = kernel_main.o
