ccflags-y += -I$(srctree)/kernel/nanokernel/include
obj-$(CONFIG_GDB_SERVER) = gdb_arch.o gdb_dbg_regs.o