/biosdisk.h/1.2/Sun Apr  4 13:46:01 2004//
/console.h/1.3/Sat Mar 26 17:34:50 2005//
/loader.h/1.4/Mon Jan 31 21:44:35 2005//
/multiboot.h/1.2/Sun Apr  4 13:46:01 2004//
/ofdisk.h/1.1/Sun May  1 03:45:35 2005//
/time.h/1.5/Sun Feb 27 21:19:05 2005//
D/util////
/ieee1275.h/1.18/Tue Jun 21 23:01:11 2005//
/kernel.h/1.2/Tue Jun 21 23:01:11 2005//
