Stars
The perfect emulation setup to study and develop the Linux kernel, kernel modules, QEMU, gem5 and x86_64, ARMv7 and ARMv8 userland and baremetal assembly, ANSI C, C++ and POSIX. GDB step debug and …
Rough parser for btrfs file systems, test for adoption of btrfs in Cardinal
GDB plug-in that helps exploiting the Linux kernel's SLUB allocator
💥 JOS: Operating Systems Engineering. 6.828 teaches the fundamentals of engineering operating systems with a learning by doing method.
Cscope database generator for Python source code
Component-based development framework for memory-centric storage systems
Build a minimal multi-tasking OS kernel for ARM from scratch
Reproducing resuts from old papers on modern filesystems
The B-trie and B-tree, written in C, as described in my PhD thesis.
This is a distributed FUSE filesystem I wrote for a class. It supports capability based authentication, public key handshake, symmetric session encryption, extent server, and log server (similar to…