/hal_cache.h/1.2/Thu May 23 23:05:11 2002//
/hal_clock.h/1.2/Thu May 23 23:05:12 2002//
/hal_diag.h/1.2/Thu May 23 23:05:12 2002//
/hal_xpic.h/1.2/Thu May 23 23:05:12 2002//
/halboot.si/1.2/Thu May 23 23:05:12 2002//
D/pkgconf////
