/hal_cache.h/1.1.1.1/Thu Jul 22 19:36:58 2004//
/hal_clock.h/1.1.1.1/Thu Jul 22 19:36:58 2004//
/hal_diag.h/1.1.1.1/Thu Jul 22 19:36:58 2004//
/hal_xpic.h/1.1.1.1/Thu Jul 22 19:36:58 2004//
/halboot.si/1.1.1.1/Thu Jul 22 19:36:58 2004//
D/pkgconf////
