x86: vmm: Track state for handling vmexits as KERNEL
[akaros.git] / tests / max_vcores.c
2015-06-18 Barret RhodenChanges user includes to <library/header.h> (XCC)
2013-05-04 Barret RhodenAdds helper program for reading max_vcores