I assume step 7 could be accomlished by tccboot, a c compiler capable of booting linux straight from source code. Expand it with the possibiliy to show the hash of the source code in ROM. No POSIX system needed. You'll need to translate the 140k C source to assembler, time consuming but not impossible.
Comments
I assume step 7 could be accomlished by tccboot, a c compiler capable of booting linux straight from source code. Expand it with the possibiliy to show the hash of the source code in ROM. No POSIX system needed. You'll need to translate the 140k C source to assembler, time consuming but not impossible.
https://bellard.org/tcc/tccboot.html