printk

Hello Simon,

in some drivers we use printk() which is restricted by CONFIG_LOGLEVEL and translates to printf().

Shouldn't printk() be translated to log() instead?

CONFIG_LOGLEVEL probably should better be renamed to CONFIG_PRINTK_LOGLEVEL to avoid confusion.

And those different levels like KERN_WARNING should probably be properly defined to translate into out log levels.

Best regards

Heinrich