Hacker News new | ask | show | jobs
by sagitariusrex 3158 days ago
I'd pay 20k for an open-hardware Notebook with a formally verified open source OS
1 comments
whamlastxmas 3158 days ago
https://www.crowdsupply.com/sutajio-kosagi/novena
link