Add a profile device.
[akaros.git] / kern / drivers / dev / kprof.c
2014-04-25 Ronald G. MinnichAdd a profile device.