diff --git a/repos/base-hw/src/core/spec/x86/kernel/cpu.cc b/repos/base-hw/src/core/spec/x86/kernel/cpu.cc
index 031b900c7..c98ec0f99 100644
--- a/repos/base-hw/src/core/spec/x86/kernel/cpu.cc
+++ b/repos/base-hw/src/core/spec/x86/kernel/cpu.cc
@@ -30,5 +30,11 @@ Cpu_idle::Cpu_idle(Cpu * const cpu) : Cpu_job(Cpu_priority::min, 0)
 
 void Cpu_idle::exception(unsigned const cpu)
 {
-	PDBG("not implemented");
+	if (trapno == RESET) {
+		return;
+	} else if (trapno >= INTERRUPTS_START && trapno <= INTERRUPTS_END) {
+		_interrupt(cpu);
+		return;
+	}
+	assert(0);
 }