Hacker News new | ask | show | jobs
by sillywalk 752 days ago
It looks like Tock is also being used by Google for their security chips/dongles OpenTitan and OpenSK.