I'm a programmer interested in computer systems. In my free time, I occasionally write toy software, read books, and go for hikes and backpacking trips.
A toy kernel targeting the ARMv7 and AArch64 architecture on the Raspberry Pi 2 and 3B. Supports preemptive scheduling, syscalls and task-specific memory allocation.