Debugging..

Debugging linux kernel is fun. There are special tools, and they help a lot. For example, when I use /sys/kernel/debug/tracing, I can see all the traces, but the bug never manifests when tracing is on.

Of course, there is a usermode part. If I run it under gdb, the bug is not reproducible either :)

So printf and printk are both my best friends..