Soon all the voting machines in U.S. will be powered by FreeBSD/RISC-V

Re:Soon all the voting machines in U.S. will be powered by F... by danso on Sunday August 25, 2019 @06:01AM (#20792179)

U.S. voting is extremely decentralized [0], with the procurement of machines procured at the state or even the county level. This mention of "U.S. Government Furnished Equipment" sounds like FUD.

[0] http://www.ncsl.org/research/elections-and-campaigns/electio...

edit: The user's bio says he's on the "DARPA CHERI" team, which is in Cambridge? [0]

[ Parent | on HN ]

Re:Soon all the voting machines in U.S. will be powered by F... by cnst on Sunday August 25, 2019 @04:25PM (#20795334)

Yeah, DARPA funded OpenBSD development in Canada in the past, so, not much surprise that they also fund research at the University of Cambridge, I guess.

https://www.cl.cam.ac.uk/research/security/ctsrd/cheri/

The web-page itself makes no mentions of DARPA or AFRL, but if you click on any of the papers, the notices are all there.

P.S. ARM is HQ'ed in Cambridge, so, location-wise, probably a lot of talent that can do these kinds of things there.

[ Parent | on HN ]