We have a popular low-cost ECP5 (FPGA) development board

Or we could just dump Linux and Windows and switch to a microkernel operating system, which is much more secure. These endless patching cycles are simply not going to work in the long-term. It seems like it will be very very very funny to me.

We have had a year to break in into any IT system. After that, it will be all either fixed or broken into, and all is fixed ever after. :). A positive way to spin this is: we have a year to fix security everywhere every year since 1988. The deadline is the one thing that has never been breached. One collary I'd add to this is that the critical bugs are rarely in compilers and microkernels, but more often in applications, such as web browsers, which are more difficult to formally verify.