bryanv f46bf10bc5 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

amd64

Only lock pvh_global_lock read-only for pmap_page_wired_mappings(),

2013-09-06 16:53:48 +00:00

conf

Add vmx device to the i386 and amd64 NOTES files

2013-09-06 20:24:21 +00:00

ia32

Use slightly more idiomatic expression to get the address of array.

2013-05-27 18:39:39 +00:00

include

On those machines, where sf_bufs do not represent any real object, make

2013-09-06 05:37:49 +00:00

linux32

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

Remove duplicate code. Reduce diff between amd64 and i386.

2012-12-01 00:56:19 +00:00

vmm

Emulate reading of the IA32_MISC_ENABLE MSR, by returning

2013-09-06 05:20:11 +00:00

Makefile

…