Will this RUST based OS collect more of our data? (KataOS by Google)

KataOS is an Operating System built on RUST meant for Machine Learning (ML) applications that's been open sourced by Google. Let's check out what KataOS is and what the Machine Learning maybe used to do. Will this Rust based Machine Learning OS collect more of our data?

My Linux Bundle is here:

Share this free tool and support Small YouTubers
(I made this tool to help creators)

Discord Community:

Useful Links:

#rust #linux #opensource

[guerht]

The 'mathematically proven to keep data secure' likely refers to the fact that seL4 has been formally verified using Isabelle/HOL, an interactive theorem prover based on classical Higher Order Logic. There is a layer of trust where you need to assume that HOL as a logical system is consistent, the bootloader, written in assembly, is correct, and hardware is, in general, correct, but otherwise the guarantees provided by the theorem prover are very strong.

Now, none of this makes any sense if they modify the C code for seL4, since that requires one to re-prove the entire formalisation again.

Yet, in the blogpost, they mention: "The current GitHub release includes most of the KataOS core pieces, including the frameworks we use for Rust (such as the sel4-sys crate, which provides seL4 syscall APIs), an alternate rootserver written in Rust (needed for dynamic system-wide memory management), and the kernel modifications to seL4 that can reclaim the memory used by the rootserver."

...which seems very odd to me. They chose seL4 since it's a formally verified microkernel, yet they make modifications to seL4 which breaks the formal guarantees.

[guilherme]

I fear Google. Even when they bring gifts.

[DarkGT]

Given a million year, even the most secure encryption can be cracked. Google is indeed being too vague about what they mean.

[dig]

"RISC v" should be pronounced as RISC "five" not v
which means it's a fifth generation ISA

[yellowajah]

"secured by google"

the seL4 team: "am i a joke to you?"

[ZeFoxii]

So does this mean kataOS is a direct replacement of android?

[clarencewashington]

What about clear linux os. Seem similar to me. Am I wrong? Just with rust