[jdabney]

There is also LIKO-12 which is open source and has changeable "BIOS" and "OS." https://github.com/RamiLego4Game/LIKO-12