Export CONFIG_ options via #version/kconfig
[akaros.git] / scripts / mkroot
2014-01-31 Ronald G. MinnichAdd the inferno mkroot script