Changes in kernel/Makefile [f0defd2:2689a0b] in mainline

File:

• kernel/Makefile (modified) (2 diffs)

kernel/Makefile

@@ -196 +196 @@
         generic/src/console/chardev.c \
         generic/src/console/console.c \
-        generic/src/console/prompt.c \
         generic/src/cpu/cpu.c \
         generic/src/ddi/ddi.c \
@@ -257 +256 @@
         generic/src/ipc/ipc.c \
         generic/src/ipc/sysipc.c \
-        generic/src/ipc/sysipc_ops.c \
-        generic/src/ipc/ops/clnestab.c \
-        generic/src/ipc/ops/conctmeto.c \
-        generic/src/ipc/ops/concttome.c \
-        generic/src/ipc/ops/connclone.c \
-        generic/src/ipc/ops/dataread.c \
-        generic/src/ipc/ops/datawrite.c \
-        generic/src/ipc/ops/debug.c \
-        generic/src/ipc/ops/sharein.c \
-        generic/src/ipc/ops/shareout.c \
-        generic/src/ipc/ops/stchngath.c \
         generic/src/ipc/ipcrsc.c \
         generic/src/ipc/irq.c \