diff options
Diffstat (limited to 'src/kernel/makefile')
| -rw-r--r-- | src/kernel/makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/kernel/makefile b/src/kernel/makefile index 67766b2b8..a3a750dcb 100644 --- a/src/kernel/makefile +++ b/src/kernel/makefile @@ -5,7 +5,7 @@ # # IBM CONFIDENTIAL # -# COPYRIGHT International Business Machines Corp. 2010,2012 +# COPYRIGHT International Business Machines Corp. 2010,2013 # # p1 # @@ -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 intmsghandler.o deferred.o +OBJS += softpatch_p8.o barrier.o idebug.o intmsghandler.o deferred.o OBJS += shutdown.o forceattn_p8.o terminate.o include ${ROOTPATH}/config.mk |
