How do you bootstrap a trusted computing base? I suspect you'd want a C compiler that was small enough that you could read the entire disassembly and verify that it worked as expected. That seems intractable.