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 d8c651490f..52f1d1bc2e 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 @@ -170,6 +170,7 @@ /* Restore kernel segment registers */ mov $0x10, %rbx + mov %rbx, %ss mov %rbx, %ds mov %rbx, %es mov %rbx, %fs