Initialize all vcores in SCP mode
[akaros.git] / user / benchutil / vcore_tick.c
2016-05-02 Barret RhodenProvide vcore timer ticks for 2LSs