IOLog on serial port? Or to use kprintf?