Rust, but in a Makefile. Contribute to badboy/makerust development by creating an account on GitHub. (more…)

Got any issues or want to check out all the final code at once? Everything's on Github! (more…)

Verified Rust for low-level systems code. Contribute to secure-foundations/verus development by creating an account on GitHub. (more…)

In this post we explore double faults in detail. We also set up an Interrupt Stack Table to catch double faults on a separate kernel stack. This way, we can completely prevent triple faults, even on kernel stack overflow.

I've been working on a project with rust that requires creating a pseudo-terminal and like many others, I've run into a lot of problems with the functions available to get a pair of master/slave fds for my PTY. openpty int openpty(int *amaster, int *aslav... (more…)