| ccflags-y += -I$(srctree)/kernel/nanokernel/include | |
| ccflags-y += -I$(srctree)/kernel/microkernel/include | |
| # see explanation for flags in arch/x86/core/Makefile | |
| ifeq ($(COMPILER),clang) | |
| KBUILD_AFLAGS += -no-integrated-as | |
| endif | |
| KBUILD_AFLAGS += -Wa,--divide | |
| obj-y = intstub.o swap.o thread.o |