3 ms·
This is the only other option that has the FSF RYF certificate: https://shop.libiquity.com/product/taurinus-x200 https://shop.libiquity.com/product/taurinus-x2
by cryptarch 10y ago
This is the only other option that has the FSF RYF certificate:
https://shop.libiquity.com/product/taurinus-x200 https://shop.libiquity.com/product/taurinus-x200
One piece of hardware I'm very excited about is LowRISC: they're developing a fully open-source SoC, including open source chips, SoC and firmware.
I think it's the most promising platform for formally verified computing, because it's open and thus possible to model and verify all the way down.
- endgame 10y agoThank you, but it doesn't ship outside the US. Are you aware of any other decent libreboot machines, even if they can't be liberated end-to-end?
- cryptarch 10y agoI'm afraid I don't know of any premade options. I've been considering building my own and have recently dropped out to start working for myself; I'm thinking, perhaps I could build one for you? It'd depend on how soon you need it and to what spec, as I'll have to source it from scratch. If you leave some means of contacting you I will, I'm quite interested in building these things for another purpose than "I like having and making these".
- endgame 10y agoI'm passively looking for a machine at the moment but not really actively looking yet - this one's still got a fair amount of life in it. If you want to reach me, the email in my profile works. Are you planning to do a libre hardware startup or something?
- cryptarch 10y agoI don't currently have much of a plan aside from "do contracting for personal development and sustenance, while looking for interesting opportunities". "Secure hardware + software for the masses" is one area I'd really like to work on.