genode/repos/base-hw/src/core/spec/x86_64
Adrian-Ken Rueegsegger 65de09c7a6 hw_x86_64: Reserve space for client context pointer
A pointer to the client context is placed in the mt_client_context_ptr area.
It is used to pass the current client context to the lowlevel mode-switching
assembly code.
2015-03-27 11:53:18 +01:00
..
kernel hw_x86_64: Perform indirect long jump to 64-bit code 2015-03-27 11:53:18 +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: Reserve space for client context pointer 2015-03-27 11:53:18 +01:00