printk()は、printf()と基本的にはやってることが同じで、 call_console_drivers()という関数を内部で呼び、 シリアルコンソールドライバを通して、シリアルのメモリマップIOに、バイト列をwriteする。 カーネルのブート時には、init_IRQ()で、割り込みが有…

EABI,OABIがあり、EABIではデフォルトで-msoft-floatオプションがgccにつく。EABIはOABIに対して、フロート演算が非常に早い。とある方のベンチマーク： http://jr0bak.homelinux.net/~imai/pukiwiki/pukiwiki.php?%C6%FC%B5%AD%2F2009-01-12%2F%A5%D9%A5%F3…