Reto Buerki 968ab15bbb hw_x86_64: Add Genode::Gdt class ... The class provides the load() function which reloads the GDTR with the GDT address in the mtc region. This is needed to make the segments accessible to non-core threads. Make the _gdt_start label global to use it in the call to _virt_mtc_addr().		2015-03-27 11:53:26 +01:00
..
doc	imx31: remove platform completely (fix #1360)	2015-01-12 14:24:15 +01:00
include	hw: skeleton for building on x86_64	2015-03-27 11:53:16 +01:00
lib	hw_x86_64: Drop obsolete isr.s assembly file	2015-03-27 11:53:24 +01:00
mk	hw: skeleton for building on x86_64	2015-03-27 11:53:16 +01:00
run	run: modularize run tool	2015-01-26 12:28:40 +01:00
src	hw_x86_64: Add Genode::Gdt class	2015-03-27 11:53:26 +01:00