3 ms·
That is intriguing - which baseband OSes are using seL4? Where can we read more about how they are using it? Thank you.
by tralerb 4y ago
That is intriguing - which baseband OSes are using seL4? Where can we read more about how they are using it? Thank you.
- jjtheblunt 4y agoQualcomm is cited in https://sel4.systems/About/seL4-whitepaper.pdf https://sel4.systems/About/seL4-whitepaper.pdf