KIEV, UKRAINE - SEPTEMBER 02, 2015:New Google logotype printed on paper, cut and pasted on wooden sticks.Google is USA multinational corporation specializing in Internet-related services.
На GitHub з’явилася рання версія KataOS, а точніше, основні частини цієї операційної системи від Google, включаючи фреймворки, повідомляється в блозі Google. Програмісти можуть приєднатися до роботи над ОС.
Операційна система KataOS орієнтована на вбудовані пристрої з низьким енергоспоживанням на кшталт GPS-систем, фітнес-трекерів, смартгодинників та іншого. У корпорації акцентують на вбудованій безпеці нової ОС.
«Система безпеки часто розглядається як функція програмного забезпечення, яку можна додати до чинних систем або вирішити за допомогою додаткової апаратної частини ASIC. Але наша команда в Google Research хоче розв’язати цю проблему інакше – створити нову безпечну платформу, оптимізовану для вбудованих пристроїв, на яких працюють програми машинного навчання», – розповідають у Google.
Корпорація хоче залучити до роботи над проєктом розробників з усього світу, тому поділилася на GitHub вихідним кодом кількох компонентів операційної системи (для початку). Для неї вибрали seL4 як мікроядро, оскільки воно ставить безпеку на перше місце, а також «математично доведено безпечним, з гарантованою конфіденційністю, цілісністю та доступністю». KataOS майже повністю реалізована на Rust, що усуває цілі класи помилок, такі як off-by-one та переповнення буфера.
Поточна версія GitHub включає більшість основних частин KataOS, у тому числі фреймворки для Rust, альтернативний кореневий сервер, модифікації ядра для seL4, які можуть звільняти пам’ять, використовувану кореневим сервером.
Google, ілюстрація
Щоб довести безпеку системи в цілому, Google створили еталонну реалізацію KataOS під назвою Sparrow, що об’єднує KataOS із захищеною апаратною платформою.
«Таким чином, на додаток до безпечного ядра операційної системи, Sparrow включає логічно безпечний корінь довіри, побудований за допомогою OpenTitan на архітектурі RISC-V, – уточнюють у блозі. – Однак для нашого початкового випуску ми орієнтуємося на стандартнішу 64-бітну ARM-платформу, що працює в симуляції з QEMU».
Китайська компанія Tencent виклала у відкритий доступ компактну модель перекладу Hy-MT, яка, за її твердженням,…
Губернатор Теннессі Білл Лі підписав закон, який з 1 липня 2026 року забороняє криптовалютні банкомати…
Компанія Sony Interactive Entertainment офіційно заперечила інформацію, яка вчора розлетілась по мережі: власникам PlayStation 4…
Популярний редактор коду Zed офіційно представлено в стабільній версії 1.0. Оновлення стало значним етапом розвитку…
Компанія Google офіційно оголосила про глобальне розгортання функції «картинка в картинці» (Picture-in-Picture, PiP) для всіх…
Адміністрація президента Трампа офіційно виступила проти намірів компанії Anthropic розширити коло користувачів своєї нової LLM-моделі…