Case study
Obliteration: reconstructing the PlayStation 4 kernel
Obliteration reconstructs the PlayStation 4 kernel in Rust for a custom virtualization stack intended to run dumped PS4 system software on Windows, Linux, and macOS. The author reports a working 64-bit kernel and VMM with GDT, TSS, IDT, syscall, and virtual-memory setup; development is focused on launching mini-syscore.elf.
- Targets
- Firmware
- Category
- Independent reconstruction cases
- Relationship
- Independent reconstruction project
- Sources reviewed
- Stars
- 827
- Last commit
- 2026-09-26
- Language
- Rust
- License (GitHub)
- Apache-2.0
GitHub data as of 2026-11-09
Requirements & limits
- Prerequisites: Running requires a CPU with SLAT, 16 GB RAM, and a 64-bit operating system.
- Prerequisites: Building requires Git, stable Rust through rustup, and Project; AArch64 also requires nightly Rust, rust-src, and the aarch64-unknown-none-softfloat target.
- Limits: Game execution is unfinished; Windows and macOS may have unimplemented functions.
- License: Source code is licensed under MIT or Apache-2.0, or both.
Cite
BibTeX
@misc{obliteration-case,
title = {{Obliteration: reconstructing the PlayStation 4 kernel}},
howpublished = {\url{https://github.com/obhq/obliteration}},
url = {https://github.com/obhq/obliteration},
urldate = {2026-11-06},
note = {Awesome REA entry: \url{https://awesomerea.org/resources/obliteration-case/}}
}Plain text
Obliteration: reconstructing the PlayStation 4 kernel. https://github.com/obhq/obliteration (accessed 2026-11-06). Awesome REA entry: https://awesomerea.org/resources/obliteration-case/
Useful? Star Awesome REA on GitHub2.4k
About this entry
The description was reviewed against primary sources.
Primary sources
- README.md GitHub · obhq/obliteration · Revision 2a53d5c
- docs/index.md GitHub · obhq/obliteration · Revision 2a53d5c
More in Firmware and hardware
- libElysianVMU: reconstructing the Dreamcast Visual Memory Unit · Case study
- Digimon V-Pet: a literate disassembly of the 1997 firmware · Case study
- BCM5719 Firmware Reimplementation: rebuilding network-card firmware · Case study
- X-40 laser rangefinder: circuit and firmware reconstruction · Case study
- CatCard: replacement firmware built around Coldcard bootloader contracts · Case study
- LaiNES: cycle-level NES hardware emulation · Case study
All 260 entries in Firmware and hardwareFirmware and hardware case studies (175)