Yeah, perhaps fully-auditable core would've been a better example. One that runs a full Linux stack for a mainstream distro. I'm personally most interesting in

Yeah, perhaps fully-auditable core would've been a better example. One that runs a full Linux stack for a mainstream distro. I'm personally most interesting in profiling and tuning to my workload to run on FPGAs. But that's many years out. :)