Ports uses of get_any_idle_core()
[akaros.git] / scripts / mkroot
2014-01-31 Ronald G. MinnichAdd the inferno mkroot script