NetBSD has been successfully ported to an RC3230 made by MIPS
Computer Systems, Inc.This workstation has been sold under house brand names by Bull. Olivetti, and other vendors. Read more at NetBSD News.