From 0e065c162b984fb65482ad2904684c5309f18ee3 Mon Sep 17 00:00:00 2001
From: Adrian-Ken Rueegsegger <ken@codelabs.ch>
Date: Thu, 2 Jul 2015 12:16:55 +0200
Subject: [PATCH] hw_x86_64: Log unknown exceptions of Cpu_idle

---
 repos/base-hw/src/core/spec/x86/kernel/cpu.cc | 2 ++
 1 file changed, 2 insertions(+)

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 98e0aa7f2..eaf28f75b 100644
--- a/repos/base-hw/src/core/spec/x86/kernel/cpu.cc
+++ b/repos/base-hw/src/core/spec/x86/kernel/cpu.cc
@@ -36,5 +36,7 @@ void Cpu_idle::exception(unsigned const cpu)
 		_interrupt(cpu);
 		return;
 	}
+	PWRN("Unknown exception %lu with error code %lu at ip=%p", trapno,
+	     errcode, (void *)ip);
 	assert(0);
 }