Bryan Venteicher ddb4ffd0c6 Add vmx device to the i386 and amd64 NOTES files		2013-09-06 20:24:21 +00:00
..
acpica	Consistently use round_page(x) rather than roundup(x, PAGE_SIZE). There is	2013-02-15 22:43:08 +00:00
bios	This isn't functionally identical. In some cases a hint to disable	2012-10-22 13:06:09 +00:00
conf	Add vmx device to the i386 and amd64 NOTES files	2013-09-06 20:24:21 +00:00
i386	Implement vector callback for PVHVM and unify event channel implementations	2013-08-29 19:52:18 +00:00
ibcs2	Change the cap_rights_t type from uint64_t to a structure that we can extend	2013-09-05 00:09:56 +00:00
include	Fix build with gcc. Move sf_buf_alloc()/sf_buf_free() declarations	2013-09-06 17:44:13 +00:00
isa	Implement vector callback for PVHVM and unify event channel implementations	2013-08-29 19:52:18 +00:00
linux	Change the cap_rights_t type from uint64_t to a structure that we can extend	2013-09-05 00:09:56 +00:00
pci	Replace kernel virtual address space allocation with vmem. This provides	2013-08-07 06:21:20 +00:00
svr4
xbox
xen	Better conformance to style(9) and organizational cleanup.	2013-09-02 22:22:56 +00:00
Makefile