vmm: Use VMM_CTL to set VMM flags (XCC)
[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