/hal_cache.h/1.3/Wed Feb  2 19:57:20 2000//
/hal_clock.h/1.3/Wed Feb  2 19:57:20 2000//
/hal_diag.h/1.3/Wed Feb  2 19:57:20 2000//
/hal_xpic.h/1.3/Wed Feb  2 19:57:20 2000//
/halboot.si/1.3/Wed Feb  2 19:57:20 2000//
D/pkgconf////
