genode/repos/base-hw/src/core/spec/x86_64
Reto Buerki d0f14cb941 hw_x86_64: Use _mt_tss and _mt_begin labels to set TSS base
The TSS descriptor base address is assumed to be below the 0x10000 mark
(only bits 0-15 used) for now.
2015-03-27 11:53:26 +01:00
..
kernel hw_x86_64: Move GDT into mtc region 2015-03-27 11:53:25 +01:00
crt0.s hw: skeleton for building on x86_64 2015-03-27 11:53:16 +01:00
idt.cc hw_x86_64: Make _virt_idt_addr member more generic 2015-03-27 11:53:25 +01:00
mode_transition.s hw_x86_64: Use _mt_tss and _mt_begin labels to set TSS base 2015-03-27 11:53:26 +01:00
tss.cc hw_x86_64: Make Tss member functions non-static 2015-03-27 11:53:25 +01:00