Oh, indeed! What I'm saying is that if hardware was FPGA, we could reprogram with recompiled/resysnthesized FPGA code and upload with better-trusted code (think of binary reproducibility).

We still have to deal with 'trusting the compiler(synthesizer)' but with iceStorm, we're a good way there. It's still ugly around the edges, but I think this is one of the better ways forward in creating a fully supported FPGA platform (thinking the difference in microprocessor dev prior and after GCC inclusion of Atmels).