diff options
Diffstat (limited to 'src/kernel/makefile')
-rw-r--r-- | src/kernel/makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/kernel/makefile b/src/kernel/makefile index 05c15115a..06c7536be 100644 --- a/src/kernel/makefile +++ b/src/kernel/makefile @@ -26,7 +26,7 @@ OBJS = start.o kernel.o console.o pagemgr.o heapmgr.o taskmgr.o cpumgr.o OBJS += syscall.o scheduler.o spinlock.o exception.o vmmmgr.o timemgr.o OBJS += futexmgr.o ptmgr.o segmentmgr.o devicesegment.o basesegment.o OBJS += block.o cpuid.o misc.o msghandler.o blockmsghdlr.o stacksegment.o -OBJS += softpatch_p7.o barrier.o idebug.o +OBJS += softpatch_p7.o barrier.o idebug.o intmsghandler.o include ${ROOTPATH}/config.mk |