Good news! Rusty operating systems anyone? 😊 However, it is still work in progress.
"Google has unveiled KataOS, an early exploration into a new secure operating system for embedded systems on open-source RISC-V chips. ...
it eliminates entire classes of bugs, such as off-by-one errors and buffer overflows ... The project's GitHub page emphasizes that KataOS and its umbrella project name, Sparrow, "are definitely a work in progress". Sparrow is a reference implementation of KataOS. ...
The goal is to build verifiably secure systems for embedded hardware or edge devices like network-connected cameras used to capture images that are processed on-device or in the cloud for machine learning. ...
The goal is to build verifiably secure systems for embedded hardware or edge devices like network-connected cameras used to capture images that are processed on-device or in the cloud for machine learning. ...
The OS is being built with the new sel4 "security-first" microkernel. It's open source ...
Data61, the digital arm of Australia's research agency CSIRO, announced sel4 in 2020 as a mathematically proven correct, bug-free kernel. ..."
No comments:
Post a Comment