Index: kernel/arch/abs32le/src/abs32le.c
===================================================================
--- kernel/arch/abs32le/src/abs32le.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/arch/abs32le/src/abs32le.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -38,5 +38,4 @@
 #include <arch/asm.h>
 
-#include <halt.h>
 #include <config.h>
 #include <console/console.h>
Index: kernel/arch/abs32le/src/mm/page.c
===================================================================
--- kernel/arch/abs32le/src/mm/page.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/arch/abs32le/src/mm/page.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -41,5 +41,4 @@
 #include <align.h>
 #include <config.h>
-#include <halt.h>
 #include <arch/interrupt.h>
 #include <arch/asm.h>
Index: kernel/arch/amd64/src/interrupt.c
===================================================================
--- kernel/arch/amd64/src/interrupt.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/arch/amd64/src/interrupt.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -39,5 +39,4 @@
 #include <genarch/drivers/i8259/i8259.h>
 #include <genarch/pic/pic_ops.h>
-#include <halt.h>
 #include <cpu.h>
 #include <arch/asm.h>
Index: kernel/arch/ia32/src/interrupt.c
===================================================================
--- kernel/arch/ia32/src/interrupt.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/arch/ia32/src/interrupt.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -41,5 +41,4 @@
 #include <genarch/drivers/i8259/i8259.h>
 #include <genarch/pic/pic_ops.h>
-#include <halt.h>
 #include <cpu.h>
 #include <arch/asm.h>
Index: kernel/arch/ia32/src/mm/page.c
===================================================================
--- kernel/arch/ia32/src/mm/page.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/arch/ia32/src/mm/page.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -42,5 +42,4 @@
 #include <align.h>
 #include <config.h>
-#include <halt.h>
 #include <arch/interrupt.h>
 #include <arch/asm.h>
Index: kernel/arch/ia32/src/smp/mps.c
===================================================================
--- kernel/arch/ia32/src/smp/mps.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/arch/ia32/src/smp/mps.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -41,5 +41,4 @@
 #include <arch/smp/smp.h>
 #include <assert.h>
-#include <halt.h>
 #include <typedefs.h>
 #include <cpu.h>
Index: kernel/arch/ia32/src/smp/smp.c
===================================================================
--- kernel/arch/ia32/src/smp/smp.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/arch/ia32/src/smp/smp.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -45,5 +45,4 @@
 #include <synch/waitq.h>
 #include <arch/pm.h>
-#include <halt.h>
 #include <panic.h>
 #include <arch/asm.h>
Index: kernel/arch/mips32/src/exception.c
===================================================================
--- kernel/arch/mips32/src/exception.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/arch/mips32/src/exception.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -42,5 +42,4 @@
 #include <proc/thread.h>
 #include <interrupt.h>
-#include <halt.h>
 #include <ddi/irq.h>
 #include <arch/debugger.h>
Index: kernel/arch/riscv64/src/mm/page.c
===================================================================
--- kernel/arch/riscv64/src/mm/page.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/arch/riscv64/src/mm/page.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -42,5 +42,4 @@
 #include <align.h>
 #include <config.h>
-#include <halt.h>
 #include <arch/interrupt.h>
 #include <arch/asm.h>
Index: kernel/arch/riscv64/src/riscv64.c
===================================================================
--- kernel/arch/riscv64/src/riscv64.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/arch/riscv64/src/riscv64.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -40,5 +40,4 @@
 #include <arch/drivers/ucb.h>
 
-#include <halt.h>
 #include <config.h>
 #include <errno.h>
Index: kernel/arch/sparc64/src/sun4v/md.c
===================================================================
--- kernel/arch/sparc64/src/sun4v/md.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/arch/sparc64/src/sun4v/md.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -35,5 +35,4 @@
 #include <debug.h>
 #include <panic.h>
-#include <halt.h>
 #include <log.h>
 #include <str.h>
Index: kernel/genarch/src/ofw/upa.c
===================================================================
--- kernel/genarch/src/ofw/upa.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/genarch/src/ofw/upa.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -38,5 +38,4 @@
 #include <genarch/ofw/ofw_tree.h>
 #include <genarch/ofw/upa.h>
-#include <halt.h>
 #include <panic.h>
 #include <macros.h>
Index: kernel/generic/src/console/kconsole.c
===================================================================
--- kernel/generic/src/console/kconsole.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/generic/src/console/kconsole.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -52,5 +52,4 @@
 #include <macros.h>
 #include <debug.h>
-#include <halt.h>
 #include <str.h>
 #include <sysinfo/sysinfo.h>
Index: kernel/generic/src/main/kinit.c
===================================================================
--- kernel/generic/src/main/kinit.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/generic/src/main/kinit.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -51,5 +51,4 @@
 #include <proc/program.h>
 #include <panic.h>
-#include <halt.h>
 #include <cpu.h>
 #include <arch/asm.h>
Index: kernel/generic/src/proc/task.c
===================================================================
--- kernel/generic/src/proc/task.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/generic/src/proc/task.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -55,5 +55,4 @@
 #include <stdio.h>
 #include <errno.h>
-#include <halt.h>
 #include <str.h>
 #include <syscall/copy.h>
Index: kernel/generic/src/time/clock.c
===================================================================
--- kernel/generic/src/time/clock.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/generic/src/time/clock.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -46,5 +46,4 @@
 #include <synch/spinlock.h>
 #include <synch/waitq.h>
-#include <halt.h>
 #include <proc/scheduler.h>
 #include <cpu.h>
Index: kernel/generic/src/time/timeout.c
===================================================================
--- kernel/generic/src/time/timeout.c	(revision a949f4ae07227222cc7ff520baf64ebe6ef3d307)
+++ kernel/generic/src/time/timeout.c	(revision 2cc569a32f7a224374397a5bf949d29b469490ca)
@@ -41,5 +41,4 @@
 #include <panic.h>
 #include <synch/spinlock.h>
-#include <halt.h>
 #include <cpu.h>
 #include <arch/asm.h>