-
Red Hat Gmbh
- Munich, Germany
-
-
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored.
-
ltp Public
Forked from linux-test-project/ltpLinux Test Project http://linux-test-project.github.io/
C GNU General Public License v2.0 UpdatedOct 8, 2024 -
dracut Public
Forked from dracutdevs/dracutdracut the event driven initramfs infrastructure
Shell GNU General Public License v2.0 UpdatedJan 13, 2023 -
systemd Public
Forked from systemd/systemdThe systemd System and Service Manager
C GNU General Public License v2.0 UpdatedDec 9, 2022 -
kvm-unit-tests Public
Forked from rhdrjones/kvm-unit-testsUnit tests for the kernel virtual machine (KVM)
C Other UpdatedDec 16, 2021 -
kernel-testcases-for-v5.11 Public
Forked from aagit/kernel-testcases-for-v5.11testcases for MM bugs in kernel v5.11
C UpdatedNov 9, 2021 -
virtio-spec Public
Forked from oasis-tcs/virtio-specOASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) Technical Committee
TeX Other UpdatedAug 17, 2021 -
-
kexec-tools Public
Forked from horms/kexec-toolsKexec Tools: Userspace portion of Kexec
C GNU General Public License v2.0 UpdatedMar 23, 2021 -
drob Public
DROB (Dynamic Rewriter and Optimizer of Binary code)
-
dbrew Public
Forked from caps-tum/dbrewA library for dynamic binary rewriting
C GNU Lesser General Public License v2.1 UpdatedJul 26, 2019 -
SnakeAda Public
A very simple and inefficient version of Snake written in Ada/SPARK (gtkada)
-
Verification of certain constraints of seminar schedules using allen temporal logic and allen temporal networks
-
Multicast-Testing-Tool Public
Forked from Erkan-Yilmaz/Multicast-Testing-ToolJava tool for testing the IP-multicasting capabilities of networks.