Software Systems & Automation

Illinix 391

A Unix-like kernel in C and RISC-V assembly, from virtual memory to an interactive shell.

Spring 2025 · Champaign, IL

CRISC-V AssemblyVirtual memoryOperating systemsVIRTIOKTFS
Why it sits here. A complete operating-system stack: memory, processes, devices, storage, and a shell, implemented together.
05 / An architecture, opened up.STUDY IN SPACE

01 / IMPLEMENTATION & CONTRIBUTION

What the work involves

Architected a kernel from scratch with virtual memory, fork/exec, 15+ system calls, VIRTIO block drivers, and a custom KTFS filesystem.

Technical depth

ELF binary loading, preemptive multitasking, UNIX pipes, and shell I/O redirection connect process execution, scheduling, storage, and device I/O into one operating system.

02 / RESULTS

What came out of it

A complete kernel supporting process creation, executable loading, filesystem access, multitasking, and an interactive shell.

03 / SUPPORTING EVIDENCE

Follow the source

Implementation notes, project records, and supporting artifacts.

Source context & project scope

Project architecture and scope are from Donald’s Spring 2025 project summary.

Illinix 391 — Unix-like OS Kernel. Virtual memory, fork/exec, 15+ syscalls, VIRTIO, KTFS, ELF loader, preemptive multitasking, pipes, and shell redirection. Champaign, Illinois.

CANDIDATE · 2026-09-17
CONTINUE IN SOFTWARE SYSTEMS & AUTOMATION

ISAFE / WITNESS — SOP verification