> 3) buffer the output instead of calling IODC. This is what Linux does (have a look at kernel/printk.c)