По теме?
  1. Используют seL4 - микроядро, да еще и с верификацией
это уже шаг вперед от дырявого монолита "упал видеодрайвер и завалил всю систему"

  2. Нормальная лицензия, которую можно использовать и для бизнеса, и для васяноподелок, а не рак как в линуксе.
Думаю через какое-то время можно будет и сам seL переписать, благо ядро не очень большое.
Но математически проверить будет сложно.

  3. RISC-V - это тоже отлично, открытая свободная (пермессивная) архитектура, на которой можно строить долговременые проекты и бизнес без опасения что завтра изменятся условия лицензирования (как ARM)

А "не по теме" что-то скажешь?
Ты реально думаешь, что наличие дыр это хорошо?
И ради того, чтобы кто-то перепрошил свой телефон стоит оставлять отверстия для эксплойтов?
Его вполне могут попользовать до того как телефон устареет и потребует перепрошивку.