Jason Thorpe <thorpej@nas.nasa.gov> writes:

> [*] I have one such board; Tadpole TP-34V:
> 
> 	- 25MHz 68030 (socket for FPU)
> [...]
> 
> Unfortunately, my board has VxWorks ROMs, so I need to work on that front
> before I start porting the kernel to the board :-)

I had NetBSD booting on MVME147 boards with VxWorks ROMs at one point.
There were some changes made later on that caused the kernel to start
depending on the BUG ROM facilities, though.  I forget most of the
details at this point, but it shouldn't be hard to reproduce.  B-)