maxv f46af46fc3 Map the boot IDT, GDT and LDT in three different pages on x86. It is much ... better this way, and it reduces the diff between x86 and Xen. Also, zero them properly, otherwise we might end up with garbage in several slots.		2016-08-27 16:07:26 +00:00
..
acpi	Call cpu_init_msrs on i386 when waking up. Currently it does not change	2016-07-27 13:04:28 +00:00
conf	Add cpu_rng, a framework for simple on-CPU random number generators.	2016-02-27 00:09:44 +00:00
include	KNF so NXR likes it, and some typos	2016-08-19 18:53:29 +00:00
isa	add intr_handle_t and let pci_intr_handle_t use it.	2015-04-27 06:51:40 +00:00
pci	more fix line break position in verbose message.	2016-08-25 12:21:21 +00:00
x86	Map the boot IDT, GDT and LDT in three different pages on x86. It is much	2016-08-27 16:07:26 +00:00