3 ms·
I think one problem is that SEL4 lacks proper multi-core support. According to the FAQ it has not been formally verified, and it relies on a big lock for everyt
by jacobgorm 3y ago
I think one problem is that SEL4 lacks proper multi-core support. According to the FAQ it has not been formally verified, and it relies on a big lock for everything. This is fine when powering a security chip like T2, but not so fine if you are trying to replace UNIX.