3 ms·
> I'd argue QNX was more widespread than any of those. Last I checked, seL4 was in the firmware of a lot of phones.
by naasking 3y ago
> I'd argue QNX was more widespread than any of those.
Last I checked, seL4 was in the firmware of a lot of phones.