Jung-uk Kim a6c8a9c258 Fix i386 PAE kernel build. ... Reported by: tinderbox		2010-03-22 17:30:34 +00:00
..
x86bios.c	Fix i386 PAE kernel build.	2010-03-22 17:30:34 +00:00
x86bios.h	Rewrite x86bios and update its dependent drivers.	2009-10-19 20:58:10 +00:00