Google เปิดตัวระบบปฏิบัติการใหม่สำหรับระบบฝังตัว (Embedded System) โดยใช้ชื่อว่า KataOS จุดเด่นคือการใช้ Machine Learning ช่วยทำงาน และเน้นความปลอดภัยเป็นหลัก
ภาษาที่ใช้พัฒนา KataOS แทบทั้งหมดคือ Rust และใช้ seL4 Microkernel เป็นแกนการพัฒนา ซึ่งอุปกรณ์ประเภทฝังตัวนี้อาจจะเป็นพวก IoT ที่เชื่อมต่ออินเตอร์เน็ทได้ และใช้ชิปประมวลผลสถาปัตยกรรม RISC-V
Google อธิบายว่าสาเหตุที่ใช้ Microkernel ประเภท seL4 ก็เพราะว่าเคอร์เนลดังกล่าวเน้นเรื่องความปลอดภัยเป็นอันดับหนึ่ง และผ่านการทดสอบแล้วว่าปลอดภัยจริง การใช้งานภาษา Rust ก็ทำให้ระบบปฏิบัติการปลอดภัยกว่าภาษาอื่นๆ อีกด้วย
KataOS จะเป็นระบบปฏิบัติการโอเพ่นซอร์ส ตัวโค้ดอยู่บน GitHub ภายใต้สัญญา AmbiML umbrella ครับ
ที่มา – Phoronix
>
