1 files changed, 0 insertions, 26 deletions
diff --git a/pk/kernel/Makefile b/pk/kernel/Makefile
deleted file mode 100644
index 3fad153e..00000000
--- a/pk/kernel/Makefile
+++ /dev/null
@@ -1,26 +0,0 @@
-# This Makefile is designed to be invoked with the -I argument set to
-# the location of the "pk.mk" for the build
-
-include img_defs.mk
-include pkkernelfiles.mk
-
-ifeq "$(PK_TIMER_SUPPORT)" "1"
-PK_OBJECTS += ${PK-TIMER-C-SOURCES:.c=.o}
-endif
-
-ifeq "$(PK_THREAD_SUPPORT)" "1"
-PK_OBJECTS += ${PK-THREAD-C-SOURCES:.c=.o} 
-endif
-
-OBJS := $(addprefix $(OBJDIR)/, $(PK_OBJECTS))
-
-all: $(OBJS)
-
-$(OBJS) $(OBJS:.o=.d): | $(OBJDIR)
-
-$(OBJDIR):
-	mkdir -p $(OBJDIR)
-
-ifneq ($(MAKECMDGOALS),clean)
-include $(OBJS:.o=.d)
-endif