Reto Buerki 9c8109c276 hw_x86_64: Reserve space for IDT on mode transition pages ... On exception, the CPU first checks the IDT in order to find the associated ISR. The IDT must therefore be placed in the mode transition pages to make them available for non-core threads.		2015-03-27 11:53:24 +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: Reserve space for IDT on mode transition pages	2015-03-27 11:53:24 +01:00