Code Man · @codeman
11 followers · 68 posts · Server techhub.social

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

opensource.googleblog.com/2022

#google #kataos

Last updated 2 years ago

Sr. Estegosaurio 🦕 · @SrEstegosaurio
177 followers · 328 posts · Server mstdn.social

I want to see how the new evolves. It seams interesting.

#kataos

Last updated 2 years ago

antóNio · @antoniojmsilva
2 followers · 23 posts · Server mas.to
Ludovic Courtès · @civodul
900 followers · 3242 posts · Server toot.aquilenet.fr

Google announces : userland on top of :
opensource.googleblog.com/2022

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.

#sel4 #rust #kataos

Last updated 2 years ago

ComputerBase · @ComputerBase
1525 followers · 17633 posts · Server mastodon.social

KataOS & Sparrow: Googles Betriebssystem ist beweisbar sicher konzipiert computerbase.de/2022-10/google

#google #kataos

Last updated 2 years ago

ComputerBase · @ComputerBase
2051 followers · 18379 posts · Server mastodon.social

KataOS & Sparrow: Googles Betriebssystem ist beweisbar sicher konzipiert computerbase.de/2022-10/google

#google #kataos

Last updated 2 years ago

Jerry Lee · @yesonline
24 followers · 8773 posts · Server mastodon.social

» GitHub - AmbiML/sparrow-manifest: Project Sparrow: Repo Materials t.co/kT9Pn99JFP // Sparrow is a project to build a low-power secure embeded platform for Ambient ML applications. The target platform leverages and OpenTitan.

#riscv #kataos #rust

Last updated 2 years ago

Verfassungklage · @Verfassungklage
1161 followers · 50666 posts · Server mastodon.social

und :

legt "beweisbar sicheres" Betriebssystem offen.

Auf Basis von seL4 hat Google mit Kata OS ein System in Rust geschrieben. Referenzhardware soll es ebenfalls geben. ...

golem.de/news/kata-os-und-proj

#kataos #project #sparrow #google

Last updated 2 years ago

Verfassungklage · @Verfassungklage
1607 followers · 51598 posts · Server mastodon.social

und :

legt "beweisbar sicheres" Betriebssystem offen.

Auf Basis von seL4 hat Google mit Kata OS ein System in Rust geschrieben. Referenzhardware soll es ebenfalls geben. ...

golem.de/news/kata-os-und-proj

#kataos #project #sparrow #google

Last updated 2 years ago

Boiling Steam · @boilingsteam
2988 followers · 7719 posts · Server mastodon.cloud