Именно

​​Huawei будет использовать собственную ОС Harmony для смартфонов

На конференции HDC  компания объявила о том что будет использовать ОС Harmony для смартфонов ОС и продуктов интернета вещей (IoT). Huawei считает, что Android не так хорош для мобильных устройств из-за излишне большого объёма кода, устаревшего планировщика процессов и вопросов фрагментации платформы.

Ну и само собой изза санкций США😊

В системе не предоставляется доступ пользователей на уровне root.

Почему же я не удивлен😊И само собой со временем обнаружатся множество следящих зондов корпорации Huawei
======================
Таким образом на рынке появилась еще одна шпионящая за своими пользователями ОС от коварных капиталистов.

Мало им было провала с AppGallery

Хотя мб они собираются окопаться чисто в Китае

А про «следящие зонды» смешно — как будто следящие зонды гугла хоть чем-то лучше

А вот формально верифицированное ядро это интересно. На чём они его писали? Как верифицировали?

Так вот чего они там у иса ран заказывали

надеюсь на расте

s/расте/Idris 2/

Но нет, на C, вероятно

Да я видел редокс
Но там как раз ни про какую верификацию речи не идёт

верификации по gpg не достаточно?

Это не та верификация

Формальная верификация кода — это когда математически доказали, что код работает по определённым правилам

попенсорс думаю не будет

как они будут свою слежку включать с бекдорами?

Как-как

Как гугл

а они как?