Adrian-Ken Rueegsegger 2af5aaa54d hw_x86_64: Add Tss class ... The class Genode::Tss represents a 64-bit Task State Segment (TSS) as specified by Intel SDM Vol. 3A, section 7.7. The setup function sets the stack pointers for privilege levels 0-2 to the kernel stack address. The load function loads the TSS segment selector into the task register.		2015-03-27 11:53:23 +01:00
..
base-common.mk	hw: skeleton for building on x86_64	2015-03-27 11:53:16 +01:00
core.mk	hw_x86_64: Add Tss class	2015-03-27 11:53:23 +01:00