diff --git a/kernel/Makefile b/kernel/Makefile
index 866df378..e2ff7661 100644
--- a/kernel/Makefile
+++ b/kernel/Makefile
@@ -17,7 +17,6 @@ PREFIX?=/usr/local
 EXEC_PREFIX?=$(PREFIX)
 BOOTDIR?=$(EXEC_PREFIX)/boot
 INCLUDEDIR?=$(PREFIX)/include
-ECHFSDIR=$(PREFIX)/echfs
 
 CFLAGS:=$(CFLAGS) -ffreestanding -Wall -Wextra
 CPPFLAGS:=$(CPPFLAGS) -D__is_kernel -Iinclude
@@ -37,10 +36,6 @@ KERNEL_OBJS=\
 $(KERNEL_ARCH_OBJS) \
 kernel/main.o \
 
-ECHFS_OBJS=\
-$(ECHFSDIR) \
-echfs/mkfs.echfs.o
-
 OBJS=\
 $(ARCHDIR)/crti.o \
 $(ARCHDIR)/crtbegin.o \