Thomas Veerman 3f775404d9 boot: use high baud rate by default		2012-03-28 08:57:38 +00:00
..
i386	boot: use high baud rate by default	2012-03-28 08:57:38 +00:00
x86/include	Remove libkern, leave just header.	2012-02-09 18:54:42 +01:00