FWIW; today I booted NetBSD on an hp425t and ran X on it:

NetBSD 0.9B (LAGER) #26: Tue Jun 14 14:31:08 MDT 1994
    hpeyerl@lager.fhf.novatel.ca:/home/src/sys/arch/hp300/compile/LAGER
HP9000/380/425 (25MHz MC68040 CPU+MMU+FPU, 4k on-chip physical I/D caches)
real mem = 33546240
avail mem = 27402240
using 819 buffers containing 3354624 bytes of memory
Parity detection enabled
hil1: US ASCII keyboard
dma: 98620C with 2 channels, 32 bit DMA
hpib0 at sc7, ipl 3
dca0 at sc9, ipl 5, flags 0x1
unconfigured card id 6 at sc12
scsi0: 32 bit dma, async, scsi id 7
scsi0 at sc14, ipl 4
sd0: FUJITSU M2624F-512 rev 0405, 1015812 512 byte blocks
sd0 at scsi0, slave 0
sd1: FUJITSU M2694ES-512 rev 812A, 2117025 512 byte blocks
sd1 at scsi0, slave 5
sd2: FUJITSU M2694ES-512 rev 812A, 2117025 512 byte blocks
sd2 at scsi0, slave 6
le0: hardware address 08:00:09:13:15:6e
le0 at sc21, ipl 5
grf0: 1280 x 1024 256 color hi-res catseye display
grf0 at sc133


I plan to check in the hp300/stand ite changes that will enable you to
do this tonight.

Well whatever. I thought it was pretty cool.

hpeyerl@novatel.ca                           |  NovAtel Commnications Ltd.
hpeyerl@fsa.ca                               | <nothing I say matters anyway>
 "A sucking chest wound is nature's way of telling you to slow down."

------------------------------------------------------------------------------