diff --git a/makefile b/makefile
index 48bc75a..52df441 100644
--- a/makefile
+++ b/makefile
@@ -1221,9 +1221,10 @@ KA10 = ${KA10D}/ka10_cpu.c ${KA10D}/ka10_sys.c ${KA10D}/ka10_df.c \
 	${KA10D}/ka10_tu.c ${KA10D}/ka10_rs.c ${KA10D}/ka10_pd.c \
 	${KA10D}/ka10_imx.c ${KA10D}/ka10_tk10.c ${KA10D}/ka10_mty.c \
 	${KA10D}/ka10_imp.c ${KA10D}/ka10_ch10.c ${KA10D}/ka10_stk.c \
-	${KA10D}/ka10_ten11.c ${KA10D}/ka10_auxcpu.c ${PDP6D}/pdp6_dct.c \
-	${PDP6D}/pdp6_dtc.c ${PDP6D}/pdp6_mtc.c ${PDP6D}/pdp6_dsk.c
-KA10_OPT = -DKA=1 -DUSE_INT64 -I $(KA10D) -DUSE_SIM_CARD ${NETWORK_OPT} -DPDP6_DEV=1
+	${KA10D}/ka10_ten11.c ${KA10D}/ka10_auxcpu.c $(KA10D)/ka10_pmp.c \
+	${PDP6D}/pdp6_dct.c ${PDP6D}/pdp6_dtc.c ${PDP6D}/pdp6_mtc.c \
+	${PDP6D}/pdp6_dsk.c ${PDP10D}/ka10_dkb.c
+KA10_OPT = -DKA=1 -DUSE_INT64 -I $(KA10D) -DUSE_SIM_CARD ${NETWORK_OPT}
 
 ifneq ($(TYPE340),)
 # ONLY tested on Ubuntu 16.04, using X11 display support: