Reverted /prof/kpctl interface to split start and timer
[akaros.git] / kern / include / init.h
2015-11-10 Davide LibenziAdded support for multiboot protocol command line extra...