attilio bf1dc90446 MFC		2013-03-08 00:03:07 +00:00
..
acpica	Consistently use round_page(x) rather than roundup(x, PAGE_SIZE). There is	2013-02-15 22:43:08 +00:00
amd64	MFC	2013-03-02 14:48:41 +00:00
compile
conf	Remove the virtio dependency entry for the VirtIO device drivers. This	2013-03-06 07:17:53 +00:00
ia32	Real hardware, as opposed to QEMU, does not allow to have a call gate	2012-08-14 12:13:27 +00:00
include	Merge from vmc-playground branch:	2013-03-02 14:19:08 +00:00
linux32	Reduce duplication between i386/linux/linux.h and amd64/linux32/linux.h	2013-01-29 18:41:30 +00:00
pci	Remove duplicate code. Reduce diff between amd64 and i386.	2012-12-01 00:56:19 +00:00
vmm	Requests for invalid CPUID leaves should map to the highest known leaf instead.	2013-02-13 23:22:17 +00:00
Makefile