diff options
Diffstat (limited to 'src/kernel/makefile')
| -rw-r--r-- | src/kernel/makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/kernel/makefile b/src/kernel/makefile index c23cb7fe9..b448e9d68 100644 --- a/src/kernel/makefile +++ b/src/kernel/makefile @@ -27,6 +27,7 @@ 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 intmsghandler.o deferred.o +OBJS += shutdown.o include ${ROOTPATH}/config.mk |
