qemu

cross_compileros-tooling/cross_compile

A deprecated tool that automated cross-compilation of ROS and ROS2 workspaces for ARM and x86 architectures using Docker and QEmu.

PimodNature40/pimod

Reconfigure Raspberry Pi OS images using a Docker-like configuration file and QEMU chroot.

omarchy-pkgsomacom-io/omarchy-pkgs

Build system for the Omarchy Package Repository that builds, signs, and syncs Arch Linux packages from local sources and the AUR.

SteinsOS0x59616e/SteinsOS

A non-preemptive kernel operating system written in Rust for single-core ARMv8 architecture.

VxWorksWind-River/vxworks7-ros2-build

Automated build system for compiling ROS 2 with VxWorks 7 SDK to enable robotics applications on real-time embedded systems.

PANDAmoyix/panda

Platform for Architecture-Neutral Dynamic Analysis built on QEMU, enabling whole-system record/replay and cross-architecture analysis.

bare-bonesLucretia/bare_bones

A complete Ada port of the OSDev Bare Bones tutorial for building a minimal operating system kernel.

highlightoskoibtw/highlightos

A from-scratch x86_64 operating system kernel built with Rust and Assembly.

rdppotkryptoslogic/rdppot

An RDP honeypot that captures attack telemetry by simulating Windows RDP sessions with virtual machines.

ACTORucsb-seclab/actor

An action-guided kernel fuzzing framework that synthesizes fuzzer programs based on triggered actions and their temporal relationships.

FuzzUSB: Hybrid Stateful Fuzzing of USB Gadget Stacks, 2022purseclab/fuzzusb

A hybrid stateful fuzzing framework for USB gadget stacks in the Linux kernel.

docker-ccuangelnu/docker-ccu

Docker container for running Homematic CCU2 firmware on ARM and x86 hardware.

havkRavSS/HAVK

A minimalistic, security-focused x86-64 operating system kernel written in Ada/SPARK with formal verification.

Buzz-OSeylon-44/Buzz-OS

A hobby x86 32-bit operating system with a custom kernel, bootloader, device drivers, and C standard library for learning.

omarchy-boxdylanbr/omarchy-box

A tool to build and run Omarchy in a virtual machine for testing, demos, and safe exploration.

Yagna-binaries for aarch64MarijnStevens/yagna-binaries

A build of Golem Network's Yagna for arch64/ARM64 systems like Raspberry Pi, enabling them to act as compute providers.

Releases Listgolemfactory/yagna

A decentralized marketplace and platform for distributed computations, enabling users to buy and sell computing power.

PANDIdimitriwauters/PANDI

A dynamic packing detection solution for malware analysis built on the PANDA platform.

Straylightajxs/straylight

A 64-bit RISC-V hobby monolithic kernel written in Ada, supporting pre-emptive multitasking and VirtIO devices.

XOmBxomboverlord/xomb

A modern exokernel operating system written in Rust that gives applications maximum control over hardware resources.

limine-v-templateplos-clan/limine-v-template

A template for building x86-64 kernels in V using the Limine bootloader.