linuxkid473 / gbos-x86

gbOS86: Googlebook OS on ordinary Intel laptops (6th gen+): CPU-instruction emulation, patched libs, boot-time hardware detection, live/installer USB.

0xAX / linux-insides

A book-in-progress about the Linux kernel and its insides.

marin-m / vmlinux-to-elf

A tool to recover a fully analyzable .ELF from a raw kernel, through extracting the kernel symbol table (kallsyms)

0xricksanchez / like-dbg

Fully dockerized Linux kernel debugging environment for Linux and MacOS

Quchaosheng / workbench-mobile-home-robot

Evidence-first runtime for a wheeled mobile household robot with bounded actions, replayable events, and fail-closed verification.