-
qemu-kernel-dbg Public
A simple setup to fetch, build, and debug any Linux kernel version with full debug info using QEMU and GDB.
Shell MIT License UpdatedApr 29, 2025 -
Armv8-Hypervisor Public
AArch64 Hypervisor. ARM64 Hypervisor on Raspberry Pi 4 machine.
-
-
unikraft Public
Forked from unikraft/unikraftUnikraft is an automated system for building specialized OSes known as unikernels. Unikraft can be configured to be POSIX-compliant. (Core repository)
C Other UpdatedFeb 1, 2023 -
Demo Public
Forked from kedark3/DemoDemo repo for tutotial articles on Opensource.com
UpdatedJan 19, 2023 -
speakup Public
Forked from linux-speakup/speakupSpeakup is a screen review package for the Linux operating system
C UpdatedOct 2, 2022 -
docs Public
Forked from unikraft/docsThe front page and documentation for the Unikraft Open-Source Project.
HTML Other UpdatedMay 9, 2022 -
-
-
-
-
-
haiku Public
Forked from haiku/haikuThe Haiku operating system. (Pull requests will be ignored; patches may be sent to https://review.haiku-os.org).
C++ Other UpdatedApr 9, 2022 -
raspberry-pi-os Public
Forked from s-matyukevich/raspberry-pi-osLearning operating system development using Linux kernel and Raspberry Pi
C MIT License UpdatedSep 13, 2021
{{ message }}