Personal reference notes) 1. Toolchain Setup toml Because of this, I need to use the nightly toolchain when building: Bash 2. Editor Setup (VS Code) Bash 3. Project Created a test project: Bash 4. How I Run Examples (Rust by…
I wanted to run OCaml on seL4. Not “install OCaml” — actually get it running inside a virtual machine hosted by seL4, the formally verified microkernel that’s supposed to be one of the most secure pieces of software ever written.…
Nand to Tetris (also known as The Elements of Computing Systems) is one of the most unique and rewarding computer science courses available. It takes you on a hands-on journey where you build a complete, general-purpose computer system — starting…
64-bit Version Register Purpose in Our Program Why this specific register? RAX Holds the syscall number Convention: First argument for syscalls RDI Holds file descriptor (stdout=1) Syscall argument #1 RSI Holds address of the string Syscall argument #2 RDX Holds…
xv6-riscv is a clean, minimalist, educational operating system developed by MIT. It is a re-implementation of the historic Unix Version 6 (1975) written in ANSI C for the modern RISC-V architecture. Purpose Why It’s Valuable How to Use It Structured…
My Study Plan: Learning C with K&R and Building ls from Scratch I’m combining The C Programming Language (K&R, 2nd Edition) with the excellent lsbtw project by Tony (from his YouTube video “How to Actually Learn C (2027 Edition)”). This…
Summary: This guide covers the complete process of installing FreeBSD 15.1 as a virtual machine in VMware Workstation. It includes VM configuration, ISO selection, the text-based installer, ZFS setup, and essential post-installation steps. FreeBSD 15.1 provides strong ZFS integration, excellent…
Introduction: After a long day of setting up my Debian development environment, I decided to go a step further and integrate Claude Fable 5 – Anthropic’s most capable AI model – as my personal tutor for learning C programming and system programming.…
Introduction Today was my first real dive into system programming on Linux. I started with “The Linux Programming Interface” by Michael Kerrisk (TLPI) – widely considered the definitive guide to Linux system programming. However, I’ve decided to take a slightly different approach…
Today I successfully configured and tested Tails OS on my ASUS desktop running Debian Linux as part of my preparation for a reconnaissance trip to Spain and France in October. What I Accomplished ✅ Verified Tails Installation ✅ Configured and…