Hacker News with Generative AI: QEMU

Formally verifying tiny bits of QEMU using Frama-C, Richard W.M. Jones, 2020 [video] (youtube.com)
Verification, Software, Programming, QEMU, Frama-C
9 points by todsacerdoti 45 days ago | 0 comments
Deterministic Replay of QEMU Emulation (qemu.org)
Virtualization, QEMU, Software, Deterministic Replay
175 points by Intralexical 85 days ago | 39 comments
OpenBSD 7.5 via QEMU on Hetzner physical machine (no phys. access / KVM console) (gfuzz.de)
OpenBSD, Virtual Machines, QEMU, Cloud Hosting, Security
148 points by hoschi_ 102 days ago | 47 comments
Android 10 Smartphone and Termux: Booting Alpine Linux with QEMU 8.0.2 and 8.2.5 (github.com)
Android, Linux, Virtualization, QEMU
10 points by sipofwater 155 days ago | 1 comments
Understanding QEMU Devices (2018) (qemu.org)
Virtualization, QEMU, Hardware
180 points by sipofwater 168 days ago | 58 comments
Virtual Machine Administration Using QEMU Monitor (suse.com)
Virtualization, QEMU, Linux, Administration
62 points by whereistimbo 210 days ago | 4 comments
Rust Custom Target for QEMU RISC-V on Apache NuttX RTOS (codeberg.page)
Rust, Embedded Systems, RISC-V, Operating Systems, QEMU
65 points by lupyuen 215 days ago | 0 comments