FreeBSD is UP and running on the U.S. Government Furnished Equipment (GFE) 64-bit RISC-V cores. GFE cores are synthesized on the $7000 Xilinx VCU118 unit.
Soon all the voting machines in U.S. will be powered by FreeBSD/RISC-V.
Conversation
Two GFE cores supported: Bluespec Flute (BSV) based and Rocket (Chisel) based.
What does federal equipment have to do with U.S. voting? Machines are purchased and maintained at the state and county level
ncsl.org/research/elect
3






