Operating System Engineering
A Reliable Boot Architecture for Virtualized and Physical Systems
Research ID: reliable-boot-architecture
Investigate why Black Wall does not yet boot consistently across QEMU, UEFI-based physical machines and future hardware, and build stage-level diagnostics that separate firmware, bootloader, kernel and display failures.
Problem statement
Investigate how Black Wall can boot reliably across QEMU, UEFI-based physical computers, and future hardware platforms. Study firmware compatibility, bootloader behavior, kernel loading, early diagnostics, and hardware initialization.
Why it matters
A security-oriented operating system has to boot reproducibly before any of its guarantees can be evaluated. When firmware, bootloader, kernel and display failures all present as a blank screen, diagnosis becomes guesswork and regressions go unnoticed.
Research questions
- 01 At which stage of the boot sequence does execution stop on each target platform?
- 02 What diagnostics and serial logging can be enabled before the kernel and display stack are available?
- 03 How should the ISO and EFI bootloader be validated independently of the kernel?
- 04 Which virtual-machine and firmware combinations are needed to reproduce failures reliably?
Research objectives
- Identify the exact stage where boot failures occur.
- Implement early-boot diagnostics and serial logging.
- Validate the ISO and EFI bootloader.
- Develop a repeatable virtual-machine test matrix.
- Distinguish firmware, bootloader, kernel, and display failures.
Technical challenges
- There may be no visible console until firmware hands control to the bootloader or kernel.
- OVMF/TianoCore versions and machine configurations behave differently across QEMU setups.
- Serial output must be captured without assuming the operating system is running.
- A hang and a slow initialisation path can look identical without stage timestamps.
Expected outcome
A reproducible boot-validation framework, compatibility matrix, and diagnostic system.
Tags
Related research
Work on this problem
Apply to the lab and this problem becomes your supervised research project.
