&gt; ... though in my book, lib/console.c should not recompile if the underlying platform changes (arch is something different, of course ;)). If lib/* depends on the platform (like with UART numbering), to me this sounds like something to be fixed.<br /><br />IMHO board startup functions shoudl have a call like<br /><br />console_init( XXX )  with XXX being the uart index to start the console on.<br /><br /><br />&gt; I don&#39;t feel strong about this patch, though. If it is not good enough, we can just skip it.<br /><br />Yes sorry but I really don&#39;t like the drivers being put in charge of a mapping.<br /><br /><br />&gt; I start to wonder if it makes sense to do such kind of work before the RTOS comes along?<br /><br />Indeed, good question ...<br /><br /><br />Cheers,<br /><br />    Sylvain Munaut