D/pkgconf////
/hal_cache.h/1.1/Tue Dec 14 03:24:43 1999//
/hal_clock.h/1.1/Tue Dec 14 03:24:43 1999//
/hal_cpu.h/1.1/Tue Dec 14 03:24:43 1999//
/hal_cygm.h/1.1/Tue Dec 14 03:24:43 1999//
/hal_diag.h/1.1/Tue Dec 14 03:24:43 1999//
/hal_hwio.h/1.1/Tue Dec 14 03:24:43 1999//
/hal_xpic.h/1.1/Tue Dec 14 03:24:43 1999//
/halboot.si/1.2/Tue Dec 14 03:24:43 1999//
