Full threadsagitariusrex·I'd pay 20k for an open-hardware Notebook with a formally verified open source OSView on HN