I just want to know when I can boot linux so I can start building a RiscV-based chip tester (https://www.teradyne.com/products/flex/ used powerpc when I did a contract there a few years ago)