There’s been a lot of excitement and news recently about Project Quantum and Mozilla’s efforts to build the next generation of web browser…

System programming in Rust: beyond safety Balasubramanian et al., HotOS’17 Balasubramanian et al. want us to switch all of our systems programming over to Rust. This paper sets out the case. … (more…)

As both Tock and the Rust ecosystem grow, we have been looking into using community-provided crates on crates.io to allow us to add features to Tock. For example, we are exploring using the hmac crate to support one of the networking protocols we are addi... (more…)

Main (more…)

Over the past few weeks I have been starting to build a raspberry pi zero w controlled rover. (more…)