|
|
Rust |
4 |
Fork of rust compiler with CHERI support |
Jun 13, 2022 |
|
|
C |
25 |
QEMU with vTPM support |
Apr 06, 2023 |
|
|
Rust |
6 |
Fork of Rust adding CHERI support |
May 03, 2023 |
|
|
None |
27 |
Fork of LLVM adding CHERI support |
May 02, 2023 |
|
|
C |
2 |
qemu with iOS host support |
Apr 16, 2023 |
|
|
C |
94 |
qemu with iOS host support |
Aug 08, 2022 |
|
|
C |
4 |
Z80 support for qemu |
Jan 09, 2022 |
|
|
C |
2 |
The GNU debugger extended to support CHERI |
Dec 10, 2021 |
|
|
C |
56 |
vmnet.framework support for unmodified rootless QEMU (with VDE) |
Jun 20, 2022 |
|
|
C |
71 |
QEMU fork with support for PlayStation 4 targets |
Feb 07, 2023 |
|
|
Assembly |
7 |
qemu mt7628 support |
May 16, 2023 |
|
|
C++ |
2 |
Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features |
Jan 12, 2019 |
|
|
C++ |
13 |
Adaptation of gxemul to support the CHERI MIPS unit test suite and certain CHERI features |
Apr 12, 2022 |
|
|
CoffeeScript |
6 |
Balena support for QEMU boards |
Mar 14, 2022 |
|
|
C |
6 |
simple qemu launcher with config file support |
Oct 02, 2022 |
|
|
Ruby |
3 |
Homebrew Tap for QEMU with M1 (Apple Silicon) support |
Sep 26, 2021 |
|
|
Makefile |
2 |
qemu kernel build for debian 8 with docker support |
Mar 25, 2016 |
|
|
C |
6 |
QEMU with support for emulating the Dingoo A320/A330 |
Sep 11, 2022 |
|
|
C |
12 |
Adding support s5l89xx support to QEMU |
Mar 30, 2023 |
|
|
C |
2 |
qemu allwinner f1c100s support |
Apr 09, 2023 |
|
|
C |
38 |
Ceph RBD support for Qemu/KVM |
Nov 28, 2021 |
|
|
C |
74 |
Raspberry Pi 3 support for qemu |
Oct 14, 2022 |
|
|
C |
7 |
QEMU with RISC-V (RV64G, RV32G) Emulation Support |
Aug 25, 2021 |
|
|
C |
369 |
QEMU with RISC-V (RV64G, RV32G) Emulation Support |
Jul 09, 2022 |
|
|
C |
2 |
QEMU with RISC-V (RV64G, RV32G) Emulation Support |
Aug 24, 2021 |
|
|
C |
2 |
QEMU with RISC-V (RV64G, RV32G) Emulation Support |
Jan 28, 2023 |
|
|
C |
2 |
QEMU with RISC-V (RV64G, RV32G) Emulation Support |
Mar 24, 2021 |
|
|
C |
13 |
Learning exercises for CHERI |
Apr 29, 2023 |
|
|
Ruby |
6 |
A homebrew tap for qemu with support for 3d accelerated guests |
Sep 22, 2022 |
|
|
Ruby |
372 |
A homebrew tap for qemu with support for 3d accelerated guests |
May 15, 2023 |
|
|
Shell |
25 |
GNS3 dockerfile with VPCS, IOU support, QEMU and Wireshark |
Mar 22, 2023 |
|
|
C |
5 |
QEMU with instrumentation support, ref to tcg/plugins/README |
Mar 14, 2021 |
|
|
TeX |
7 |
CHERI ISA Specification |
Apr 05, 2023 |
|
|
Assembly |
15 |
CHERI-enabled GPGPU |
Feb 08, 2023 |
|
|
TypeScript |
2 |
GitHub Action to configure Qemu support |
Jul 02, 2022 |
|
|
TypeScript |
213 |
GitHub Action to configure Qemu support |
Aug 12, 2022 |
|
|
C |
2 |
Restore/upgrade firmware of iOS devices with qemu-t8030 support |
Sep 02, 2022 |
|
|
None |
5 |
Group administration repository for SIG: CHERI |
Feb 02, 2023 |
|
|
C |
2 |
Example CHERI-aware programs |
Mar 29, 2019 |
|
|
Shell |
38 |
Easily use Alpine Linux on GitHub Actions, with support for QEMU user emulator |
Nov 27, 2022 |
|
|
C |
30 |
My QEMU fork with pinning (affinity) support and a few tweaks. |
Apr 21, 2022 |
|
|
Rust |
3 |
QEMU platform SBI support implementation, using RustSBI |
May 31, 2022 |
|
|
Rust |
47 |
QEMU platform SBI support implementation, using RustSBI |
Jun 22, 2022 |
|
|
Python |
11 |
OpenIPMI with Qemu |
Mar 16, 2022 |
|
|
Shell |
13 |
QEMU with Docker |
May 07, 2023 |
|
|
Objective-C++ |
2 |
Tool for exploring CHERI and BERI streamtraces. |
Mar 29, 2019 |
|
|
C |
7 |
vmnet.framework support for unmodified rootless QEMU (no dependency on VDE) |
Jun 04, 2022 |
|
|
C |
5 |
Adding support for risc-v 128-bit extension to QEMU |
Dec 01, 2022 |
|
|
C |
3 |
cheri-riscv sample c programs |
May 06, 2022 |
|
|
C |
2 |
nginx webserver adapted to CHERI |
May 10, 2023 |