Author: Ibrahim El Kaddouri
Repository:
The repository is private
Coming Soon
This project aims to design and implement a minimal, reproducible Linux boot
pipeline for the Raspberry Pi, developed primarily under emulation (QEMU) and
validated on real hardware. The work is split into two main deliverables:
- a custom second-stage bootloader capable of loading a Linux kernel and device tree
- a complete Linux From Scratch (LFS) userland booting on top of that pipeline.
A key constraint is that the project will use QBE as the code-generation backend for compilation experiments and for producing low-level binaries used in the early boot components