What you think about Kata OS?
What is Google up to this time? 😀

https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html

#google #kataos

@migratory I feel like I'm largely on the same page, but I'm curious about some of the details of the things you're concerned about. I'm 100% interested in capability systems (#sel4 , #kataos ) and having computers as actual / reliable agents of the user.

I'm not nearly as clear on the objections you have to filesystems or IP (as in IPv4 / IPv6? networks), which seem less clearly related.

If you meant IP in the sense of "Intelectual Property", I'm curious if your objection is to copyright, patents, and/or trademarks, and if those objections are fundamental, or merely to the implementation of those concepts in practice?

Arc Graphics, Google KataOS, Python 3.11 & Linux 6.1 Excited Open-Source Enthusiasts

Google shows off KataOS, a secure operating system written in Rust

Smart devices need better security and Google thinks KataOS, written in the Rust programming language, could help.

ZDNET
2022_06_29 FL

Google KataOS - A secure OS for embedded systems written in Rust (mostly) - CNX Software

Google Research has been working on its own Rust-based operating system called KataOS and designed to secure embedded systems that run Machine Learning

CNX Software - Embedded Systems News
Google Open Sources Sparrow and KataOS Components

FOSSlife

Google announces #KataOS: #Rust userland on top of #seL4:
https://opensource.googleblog.com/2022/10/announcing-kataos-and-sparrow.html

It seems to be special-purpose, but there’s a technical vision here that makes more sense to me than the “Rust in Linux” meme. “Rust in Linux” is more of a distraction than anything else.

Announcing KataOS and Sparrow

We've open sourced several components for our secure operating system, called KataOS, on GitHub, as well as partnered with Antmicro

Google Open Source Blog

RT from Antmicro (@antmicro)

Partnered with @GoogleAI to help build Sparrow, a secure ML platform on @risc_v, #OpenTitan & the @rustlang #KataOS based on the #seL4 microkernel using our #opensource simulator @renodeio. See how we enabled #Rust apps & #GDB debugging for their system @GoogleOSS @seL4Foundation

https://twitter.com/GoogleOSS/status/1580952385291452416

Original tweet : https://twitter.com/antmicro/status/1582021107934105601

Google Open Source on Twitter

“🔐📲 The AmbiML team is working to build verifiably secure systems for embedded hardware. Several components of their secure operating system for their Sparrow project, KataOS, have been open sourced. Learn more 👉 https://t.co/ATxLa18OED”

Twitter