Hi,
I also got my hands on:
                   System: IP20
                Processor: R4000 50 Mhz, with FPU
     Primary I-cache size: 8 Kbytes
     Primary D-cache size: 8 Kbytes
     Secondary cache size: 1024 Kbytes
              Memory size: 64 Mbytes
                 Graphics: GR2-XS
                SCSI Disk: scsi(0)disk(1)

what's the status of NetBSD on this machine ?
I didn't find much on the mailing list archives. There are a few ifdef in
the kernel sources for IP20 but no kernel config file (if someone has one,
please send :)

-- 
Manuel Bouyer <bouyer@antioche.eu.org>
--