qemu
Here are 1,323 public repositories matching this topic...
Local kubernetes cluster (personal use)
-
Updated
Sep 16, 2021 - Shell
Real Time Systems Course. Project 2: Priority Scheduling
-
Updated
Dec 23, 2022 - C
哈尔滨工业大学 2024 秋操作系统实验
-
Updated
Dec 18, 2024 - C
This repository contains the mCertiKOS certified operating system kernel, focusing on security and formal verification using Coq and CompCert. It supports building and testing on bare-metal or QEMU environments.
-
Updated
Jan 3, 2025 - Coq
Repository containing modifications to the MIT xv6 Operating System
-
Updated
May 25, 2018 - C
`libguestfs` and its tools in a minimal Alpine-based Docker image. Usable in Mac OS.
-
Updated
Dec 10, 2024 - Shell
Making a custom operating system from scratch
-
Updated
Apr 4, 2025 - Assembly
virtual machine tool
-
Updated
May 9, 2025 - Shell
Ziguanos is a secure x86-64 OS written in Zig, featuring UEFI boot, advanced CPU support, and robust hardware security. 🖥️🔒
-
Updated
Jul 8, 2025 - Zig
Graphical Interface application to run QEMU with ease. Made with PyQt5
-
Updated
Jun 2, 2023 - Python
Yume Nikki trained with DIAMOND
-
Updated
Dec 26, 2024 - Jupyter Notebook
Improve this page
Add a description, image, and links to the qemu topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the qemu topic, visit your repo's landing page and select "manage topics."