printk

This is a very simple printf implementation I wrote for an university project. It is very limited, it is probably not fast and not small. However, it provides basic debug output and has only minimal dependencies.