30 Jan
2021
30 Jan
'21
8:26 a.m.
Hi, i have one question:
since the seL4 was written with a C compiler and it is possible that this compiler has an in-built backdoor, how can you still claim, that seL4 is "safe", i.e. non-hackable.
Best regards and thanks in advance
___________________________
Bora Agca Diplom Informatiker Oracle Certified Programmer Java SE 6