printk: check for user pointers in format string parameters
[akaros.git] / kern / src / trace.c
2015-01-29 Godfrey van der... Fix void* arithmetic bug. Add dassert facility.
2013-07-27 Barret RhodenAdds a tracing facility for in-kernel events