[LinuxBIOS] looking for a LinuxBIOS port of a 4 socket Opteron based SuperMicro board with HTX slot

[David Edrich]

Is anyone working on a Linux BIOS port for any 4 socket Opteron based SuperMicro board with an HTX slot?

There are none noted in the  supported Motherboards page.