/biosdisk.h/1.2/Sun Apr  4 13:46:01 2004//
/console.h/1.6/Tue Aug  9 03:15:35 2005//
/ieee1275.h/1.19/Wed Aug  3 22:53:50 2005//
/kernel.h/1.3/Wed Aug  3 22:53:50 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
