/biosdisk.h/1.2/Sun Apr  4 13:46:01 2004//
/console.h/1.3/Sat Mar 26 17:34:50 2005//
/ieee1275.h/1.15/Sat Mar 26 17:34:50 2005//
/init.h/1.2/Sat Mar 26 17:34:50 2005//
/kernel.h/1.1/Tue Jan  4 14:01:45 2005//
/loader.h/1.4/Mon Jan 31 21:44:35 2005//
/multiboot.h/1.2/Sun Apr  4 13:46:01 2004//
/time.h/1.5/Sun Feb 27 21:19:05 2005//
D
