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 a0f1e2d7f..1ebcf98d5 100644 --- a/src/kernel/makefile +++ b/src/kernel/makefile @@ -26,6 +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 include ${ROOTPATH}/config.mk |
