genode/repos/base-hw/src/core/spec/x86_64
Adrian-Ken Rueegsegger 1fc867f1d7 hw_x86_64: Switch to client page tables
After activating the client page tables the client context cannot be
accessed any longer. The mode transition buffer however is globally
mapped and can be used to restore the remaining register values.
2015-03-27 11:53:20 +01:00
..
kernel hw_x86_64: Add 64-bit user code and data segments to GDT 2015-03-27 11:53:19 +01:00
crt0.s hw: skeleton for building on x86_64 2015-03-27 11:53:16 +01:00
idt.cc hw_x86_64: setup ISR and IDT 2015-03-27 11:53:18 +01:00
isr.s hw_x86_64: setup ISR and IDT 2015-03-27 11:53:18 +01:00
mode_transition.s hw_x86_64: Switch to client page tables 2015-03-27 11:53:20 +01:00