Google released KataOS operating system with Rust and seL4 microkernel
- An American company made 0.7nm chips: EUV lithography machines can’t do it
- CVE-2007-4559 Python vulnerability ignored for 15 years puts 350,000 projects at risk of code execution
- RISC-V only takes 12 years to achieve the milestone of 10 billion cores
- 14000 cores + 450W: RTX 4080 graphics card perfectly replaces the RTX 3080
- Big upgrade: The difference between Bluetooth 5.0 and 5.2
- Geeks Disappointed that RTX 4080/4090 doesn’t come with PCIe 5.0
- What are advantages and disadvantages of different load balancing?
Google released KataOS operating system with Rust and seL4 microkernel.
Google announced the release of KataOS (codenamed Sparrow) as their latest operating system focused on embedded devices running environments focused on machine learning workloads.
KataOS is security-conscious by design, uses the Rust programming language exclusively, and is built on the seL4 microkernel.
KataOS is designed for use in an ever-increasing number of smart devices, with a special emphasis on embedded hardware running machine learning applications.
Given the growing interest in RISC-V, the CPU architecture is a major support focus for KataOS. Google’s open source blog announced.
As the basis for this new operating system, we chose seL4 as the microkernel because it puts security front and center; it is mathematically proven to be secure with guaranteed secrecy, integrity and availability. By seL4 CAmkES framework, we are also able to provide statically defined and analyzable system components. KataOS provides a verifiable security platform that protects the user’s privacy because it is logically impossible for an application to breach the kernel’s hardware security protections and the system Components are verifiably secure. KataOS is also implemented almost entirely in Rust, which provides a strong starting point for software security, as it eliminates entire classes of bugs like one-by-one bugs and buffer overflows.
The current GitHub release includes most of the core parts of KataOS, including our frameworks for Rust (like the sel4-sys crate, which provides the seL4 system call API), an alternate root server written in Rust (requires dynamic system-wide memory management) ), and a kernel modification to seL4 to reclaim memory used by root servers. “
You can learn more about this OS effort on Google’s open source blog:
You can see the progress of related projects on GitHub:
- DIY a PBX (Phone System) on Raspberry Pi
- How to host multiple websites on Raspberry Pi 3/4?
- A Free Intercom/Paging system with Raspberry pi and old Android phones
- DIY project: How to use Raspberry Pi to build DNS server?
- Raspberry Pi project : How to use Raspberry Pi to build git server?