“This module translates C to Rust”

This is a “Literate Haskell” source file. It is meant to be read as
documentation but it’s also compilable source code. The text is
formatted using Markdown so GitHub can render it nicely.


RISC-V OS using Rust: Graphics

We command the virtual GPU (virtio-gpu) by sending certain commands to the host (the device). The guest (the OS driver) has an allocation of RAM that becomes the framebuffer. The driver then tells the device, “hey, here’s the RAM that we’re going to use t... (more…)

Read more »

A Type Safety Hole in Unsafe Rust

There seems to be a widespread belief among Rust programmers that bypassing the borrow checker does not completely compromise type safety. This article attempts to show the converse, that lifetime checks are absolutely essential for type safety, even if ... (more…)

Read more »