Sune Stjerneby wrote:

> Should I expect 'anything' to happen if i try tftpbooting the netbsd.ip32
> kernel? (i think r4k is like ip20 or ip22)

No, probably will not even load.  It's an IP20 that is different
enough from an IP22 (Indy) kernel, although it does share some
chips.

jeffs