diff --git a/kernel/mem.c b/kernel/mem.c
index 23a28b21..c6c780e0 100644
--- a/kernel/mem.c
+++ b/kernel/mem.c
@@ -944,6 +944,7 @@ void coredump(struct thread *thread, void *regs)
 	}
 #endif /* POSTK_DEBUG_ARCH_DEP_67 */
 
+#ifndef POSTK_DEBUG_ARCH_DEP_18
 	ret = gencore(thread, regs, &coretable, &chunks);
 	if (ret != 0) {
 		dkprintf("could not generate a core file image\n");
@@ -960,6 +961,7 @@ void coredump(struct thread *thread, void *regs)
 		kprintf("core dump failed.\n");
 	}
 	freecore(&coretable);
+#endif /* POSTK_DEBUG_ARCH_DEP_18 */
 }
 
 #ifndef POSTK_DEBUG_ARCH_DEP_8