debuggingtools
os-source-search
Search reference OS source code online (Linux, xv6, seL4, MINIX3, Fuchsia/Zircon, FreeBSD). Use when looking up implementation patterns, understanding how production or teaching OSes handle specific features, or finding reference code for scheduler, memory management, IPC, drivers, syscalls.
maintainer
romankurakin
Mis à jour 1/19/2026
Étoiles
1
Forks
0
quick start
Installation and usage
Search reference OS source code online (Linux, xv6, seL4, MINIX3, Fuchsia/Zircon, FreeBSD). Use when looking up implementation patterns, understanding how production or teaching OSes handle specific features, or finding reference code for scheduler, memory management, IPC, drivers, syscalls.
Installation
$ install --globalskills.sh
Utilisation
Après l'installation, vous pouvez utiliser ce skill en exécutant la commande suivante dans votre terminal :
skills use os-source-search