Replying to
@Suiseiseki@freesoftwareextremist.com @hypha@cafe.mycelium.locahlo.st @star@fed.amazonawaws.com @lcamtuf@infosec.exchange @lispi314@udongein.xyz oddly enough, I just went ahead and tried building it and... I think they're using old versions of GMP or something? because not even the Docker builds successfully lmao
it really is able to build a hello world tho, they're confident enough they'll build the entire kernel by this September so