3 ms·
curiously, seL4 doesn't need to trust the compiler: the assembly is verified to satisfy the abstract specification
by kobebrookskC3 4y ago
curiously, seL4 doesn't need to trust the compiler: the assembly is verified to satisfy the abstract specification