diff --git a/repos/base-hw/src/core/include/spec/x86/cpu.h b/repos/base-hw/src/core/include/spec/x86/cpu.h
index 2ddf6609d5..eeb39ba02d 100644
--- a/repos/base-hw/src/core/include/spec/x86/cpu.h
+++ b/repos/base-hw/src/core/include/spec/x86/cpu.h
@@ -18,6 +18,7 @@
 #include <kernel/interface_support.h>
 #include <cpu/cpu_state.h>
 #include <idt.h>
+#include <tss.h>
 
 namespace Genode
 {
@@ -43,9 +44,11 @@ class Genode::Cpu
 			/* Setup IDT only once */
 			if (primary_id() == executing_id()) {
 				Idt::setup();
+				Tss::setup();
 			}
 
 			Idt::load();
+			Tss::load();
 		}
 
 		static constexpr addr_t exception_entry = 0x0; /* XXX */