That is intriguing - which baseband OSes are using seL4? Where can we read more about how they are using it? Thank you.
That is intriguing - which baseband OSes are using seL4? Where can we read more about how they are using it? Thank you.