diff --git a/repos/base-hw/src/core/spec/x86_64/mode_transition.s b/repos/base-hw/src/core/spec/x86_64/mode_transition.s
index 91d8f72b2..85219ef40 100644
--- a/repos/base-hw/src/core/spec/x86_64/mode_transition.s
+++ b/repos/base-hw/src/core/spec/x86_64/mode_transition.s
@@ -237,6 +237,16 @@
 
 	iretq
 
+	/************************************************
+	 ** Space for Interrupt Descriptor Table (IDT) **
+	 ** See Intel SDM Vol. 3A, section 6.10        **
+	 ************************************************/
+
+	.global _mt_idt
+	.align 8
+	_mt_idt:
+	.space 1 << MIN_PAGE_SIZE_LOG2
+
 	/* end of the mode transition code */
 	.global _mt_end
 	_mt_end: