to-do list for hp700 port:

 - do a pkg bulk build
 - gdb
 - CD boot?  (if the current install image doesn't work there too)
 - fix PCI drivers (see driver-status list)
 - kernel profiling (needs newer gcc)
 - teach ddb stack trace how to go through trap frames
 - teach ddb stack trace about unwind info (so it works in optimized kernels)
 - X support
 - HIL bus support
 - additional CPU support:
	PCX-T (PA 7200) support
	PA-8xxx in 32-bit mode
	PA 7000
 - MULTIPROCESSOR
 - hppa64
 - fix FP emulation code
 - COMPAT_HPUX
 - COMPAT_LINUX
 - EISA and ISA drivers

eventually:
 - better fix for booting from disk
   - why does xxboot cause PDC_COPROC to fail?
   - find the bug with cache-flushing


done:
 - sysinst-based install image
 - turn on -O2 for kernel builds