I want to know what you think.

question

My question
============================================================================================================
I was asked How to Porting NetBSD to SGI Fuel.
I think following is a need to porting SGI Fuel.
Are there any other important things?
What do you think about porting NetBSD to SGI Fuel?

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

To complete the porting NetBSD to SGI Fuel, you need the following

1.Stable mips64 kernel.
Fuel recognize 64bit ELF kernel.
However, NetBSD/mips64 kernel is buggy...

2.Write various cache control code on mips.
OpenBSD forked from NetBSD.
Thus OpenBSD machine dependent code kind of looks like NetBSD machine dependent code.
Nevertheless, The critical difference between OpenBSD and NetBSD is cache control code on mips.
I thought that it was very dreadful when I saw it.
(You should check out this book called UNIX® Systems for Modern Architectures: Symmetric Multiprocessing and Caching for Kernel Programmers)

3.Write Xbow driver.
Fuel is XIO architecture.
NetBSD don't have Xbow driver.
https://man.openbsd.org/xbow.4
Please do not forget odyssey driver.

4.Write IOC3 driver.
Fuel has IOC3 board.
NetBSD don't have IOC3 driver.
https://man.openbsd.org/ioc.4

---------------------------------------------------------------------------------
============================================================================================================

Miod-san's Answer
============================================================================================================
What NetBSD lacks:
- working mips64 toolchain with hardware FP
- working r10k family cache code

then porting the MD code should be reasonably easy, except for the PCI controller (xbridge).
============================================================================================================