นอกเหนือจาก Android, ChromeOS, Fuchsia ล่าสุดกูเกิลเปิดตัวระบบปฏิบัติการใหม่ (อีกแล้ว) ชื่อ KataOS สำหรับอุปกรณ์ฝังตัวที่เน้นความปลอดภัยสูง (กูเกิลใช้คำเรียกว่า secure operating system) เพื่อใช้งานประมวลผล machine learning ที่ปลายทาง (ambient ML หรือ AmbiML)

โครงการนี้เป็นผลงานวิจัยของ Google Research เลือกใช้เคอร์เนล seL4 ที่มีอยู่ก่อนแล้ว เป็นโครงการ microkernel แบบยูนิกซ์ที่เน้นความปลอดภัยสูง (อ่านบทความ Wikipedia ประกอบ) จากนั้นกูเกิลเขียนส่วนที่เหลือเกือบทั้งหมดด้วยภาษา Rust ที่อุดช่องโหว่เรื่องความปลอดภัยของหน่วยความจำ

แนวคิดของ KataOS คือการยืนยันได้ (verifiably) ว่าชิ้นส่วนต่างๆ ของ OS ปลอดภัยจริง (ด้วยอัลกอริทึมทางคณิตศาสตร์)

KataOS ถือเป็นชิ้นส่วนหนึ่งของ Project Sparrow โครงการใหญ่ที่ต้องการสร้างต้นแบบฮาร์ดแวร์ที่รัน KataOS โดยใช้ชิป root-of-trust จากโครงการ OpenTitan ที่เป็นสถาปัตยกรรม RISC-V อีกทีหนึ่ง แต่ก็บอกว่าจะรองรับสถาปัตยกรรมที่เป็น ARM64 ด้วยในอนาคต โดยเป้าหมายสุดท้ายคือต้องการโอเพนซอร์สทุกอย่าง ทั้งฮาร์ดแวร์และซอฟต์แวร์ออกสู่สาธาณะ

ที่มา – Google Open Source