All

13 repositories

linux
Public
Linux kernel source tree
C
•
Other
•62k•10•0•0•Updated Feb 3, 2026Feb 3, 2026
opensbi
Public
RISC-V Open Source Supervisor Binary Interface
C
•
Other
•664•4•0•1•Updated Jan 8, 2026Jan 8, 2026
u-boot
Public
"Das U-Boot" Source Tree
C
•
Other
•4.4k•0•0•0•Updated Jan 7, 2026Jan 7, 2026
qemu
Public
Official QEMU mirror. Please see http://wiki.qemu.org/Contribute/SubmitAPatch for how to submit changes to QEMU. Pull Requests are ignored. Please only use rele…
C
•
Other
•6.7k•5•0•0•Updated Jan 7, 2026Jan 7, 2026
edk2
Public
EDK II
C
•
Other
•3.1k•1•0•0•Updated Nov 29, 2025Nov 29, 2025
edk2-platforms
Public
EDK II sample platform branches and tags
C
•
Other
•599•0•0•1•Updated Nov 14, 2025Nov 14, 2025
kvmtool
Public
Stand-alone Native Linux KVM Tool repo
C
•
GNU General Public License v2.0
•169•1•0•0•Updated Sep 24, 2025Sep 24, 2025
self-profiling
Public
C
•
Other
•0•0•0•0•Updated Aug 1, 2024Aug 1, 2024
ltp
Public
Linux Test Project http://linux-test-project.github.io/
C
•
GNU General Public License v2.0
•1.1k•0•0•0•Updated Jun 13, 2023Jun 13, 2023
ventana-custom-extensions
Public
Makefile
•3•2•0•0•Updated Aug 7, 2022Aug 7, 2022
grub
Public
C
•
GNU General Public License v3.0
•0•1•0•0•Updated Jul 20, 2022Jul 20, 2022
spdk
Public
C
•0•0•0•0•Updated Apr 6, 2022Apr 6, 2022
dpdk
Public
0•0•0•0•Updated Apr 6, 2022Apr 6, 2022

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.