3 ms·

Does running Linux on SEL4 only prevent attacks on the hardware or firmware level if Linux is compromised?