Meetup #52
- Date
- Venue
- Trifork – Gdanskgade 2, 2150 Nordhavn
- Signup
- Meetup #52 on Meetup.com
- Description
-
We are excited to welcome you to Rust meetup #52 sponsored by Trifork and OpenZeppelin!
As usual RSVPs open exactly 1 week before the event, ie. Septemer 24th at 18:00-ish.
The plan looks as follows:
18:05–18:15: Welcome with quick words from Trifork and OpenZeppelin.
18:15–19:00: "Building a Rust-based OS Kernel with Memory Safety First" by Hongliang Tian (Ant Group, China)
19:00–19:45: Break and food sponsored by OpenZeppelin
19:50–20:35: "Rust dev and build environments on Nix/NixOS" by Simon Shine
20:35–20:45: Raffle 🎲
20:45–: Hangout and talkThe Asterinas project is a Linux-compatible operating system (OS) built in Rust, with memory safety as its top priority. Asterinas introduces a novel architecture called the framekernel, designed to combine the speed of monolithic kernels with the security of microkernels.
Asterinas implements over 170 Linux system calls and common Virtio drivers, written in more than 40K lines of pure safe Rust. This is made possible by an underlying OS framework—composed of less than 20K lines of both safe and unsafe Rust—which forms the trusted computing base (TCB) for memory safety. Notably, the relative size of Asterinas' TCB is significantly smaller than that of any other Rust-based OSes, offering a more compact and secure foundation.
In this talk, you will explore:
- The inherent challenges of avoiding unsafe Rust in kernel development.
- How Asterinas compares to other projects like Rust for Linux and other Rust-based OSes.
- How Asterinas' OS framework is designed and implemented to achieve expressiveness, minimalism, soundness, and efficiency.We look forward to seeing you all! 🦀