Which is the actual console driver used by printk function? (x86, 32bit)

Printable View