What does HackerNews think of tock?

Betrusted looks great, I'll definitely be keeping an eye on it.

Xous looks really interesting too. I'm curious why you chose to build your own OS from scratch and not use something like Tock[0][1] which also happens to be pure Rust.

[0] https://tockos.org/

[1] https://github.com/tock/tock

It's a typo, they mean "Tock OS"

https://github.com/tock/tock

Have you looked at Tock OS? https://github.com/tock/tock

I took a class in it at one of the RustConf's and that made me feel, even as a novice in the embedded space, that I would be able to do some great things. If I remember correctly the class was on an M0 board.

> Where are the pervasively used compression libraries in Rust? Video and audio codecs? Network stacks? Database engines? System management utilities? PKI and encryption stacks? All that stuff is still in C. After ten years of Rust success!

It's not ten or 20 years, the first release of Rust was in 2015. Pre-1.0 Rust was a wildly different language, with green threads, segmented stacks, regular and wild breakage, not really a C replacement! Please understand this point.

But anyway here are some projects:

https://github.com/ctz/rustls a TLS library that uses https://github.com/briansmith/webpki a pki library

https://github.com/burntsushi/rust-snappy a compression library

https://github.com/tikv/tikv a database engine

https://github.com/hyperium/tonic a gRPC library

https://github.com/tock/tock an embedded OS

https://lib.rs/command-line-utilities lots of CLI utilities which include system management

You ask for "pervasively used" but this is not under control of Rust itself. It's not feasible to replace decades old setups in five years.

The most widely deployed Rust stuff is in Firefox and some Gnome libraries AFAIK.

> I mean, is it maybe fair to say that the window is closing for rust to take over a significant fraction the systems programming world?

I don't see why this should be the case.

Ooh that looks pretty interesting!

Tock appears to be a Rust based embedded OS, so relevant to this discussion.

https://github.com/tock/tock