1 files changed, 0 insertions, 23 deletions
diff --git a/os/kernel/kernel.mk b/os/kernel/kernel.mk
deleted file mode 100644
index 3ebf2ed98..000000000
--- a/os/kernel/kernel.mk
+++ /dev/null
@@ -1,23 +0,0 @@
-# List of all the ChibiOS/RT kernel files, there is no need to remove the files
-# from this list, you can disable parts of the kernel by editing chconf.h.
-KERNSRC = ${CHIBIOS}/os/kernel/src/chsys.c \
-          ${CHIBIOS}/os/kernel/src/chdebug.c \
-          ${CHIBIOS}/os/kernel/src/chlists.c \
-          ${CHIBIOS}/os/kernel/src/chvt.c \
-          ${CHIBIOS}/os/kernel/src/chschd.c \
-          ${CHIBIOS}/os/kernel/src/chthreads.c \
-          ${CHIBIOS}/os/kernel/src/chdynamic.c \
-          ${CHIBIOS}/os/kernel/src/chregistry.c \
-          ${CHIBIOS}/os/kernel/src/chsem.c \
-          ${CHIBIOS}/os/kernel/src/chmtx.c \
-          ${CHIBIOS}/os/kernel/src/chcond.c \
-          ${CHIBIOS}/os/kernel/src/chevents.c \
-          ${CHIBIOS}/os/kernel/src/chmsg.c \
-          ${CHIBIOS}/os/kernel/src/chmboxes.c \
-          ${CHIBIOS}/os/kernel/src/chqueues.c \
-          ${CHIBIOS}/os/kernel/src/chmemcore.c \
-          ${CHIBIOS}/os/kernel/src/chheap.c \
-          ${CHIBIOS}/os/kernel/src/chmempools.c
-
-# Required include directories
-KERNINC = ${CHIBIOS}/os/kernel/include