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