Would be nice to see an equivalent “minimum viable trustable computer” that used only parts from “trusted” supply chains (pick your own definition of “trusted”, but it might for example exclude generic parts marketplaces).
Pinedio stack is probably the best cheap option, as it has been fully reverse engineered, including the radios- no firmware blobs.
Similar to m5 stack but riscV core.
For an OS you have nuttx, but for the memory size, Oberon ports (A2) might be feasible.
Yes, that sort of thing! Its claim to trustworthiness seems to be based on the idea that its CPU runs on an FPGA so you can audit the source code for that and compile it yourself. But the underlying FPGA looks like a proprietary Xilinx device. Who’s auditing that?