Hacker News with Generative AI: QEMU

Make your QEMU faster (2022) (schreibt.jetzt)
NixOS uses virtual machines based on QEMU extensively for running its test suite. In order to avoid generating a disk image for every test, the test driver usually boots using a Plan 9 File Protocol (9p) share (server implemented by QEMU) for the Nix store, which contains all the programs and config necessary for the test.

Virtualization, QEMU, Performance, Testing, NixOS

150 points by tripdout 32 days ago | 22 comments

QEMU with VirtIO GPU Vulkan Support (github.com)

QEMU, Virtualization, Graphics, Vulkan

239 points by GalaxySnail 37 days ago | 50 comments

Creating a Proxmox or QEMU ChromeOS Flex VM (kevindavid.org)
I recently wanted to experiment with ChromeOS Flex but didn’t want to install it on a physical machine. I also was doing this without a USB key, which complicated things slightly.

Virtualization, ChromeOS, Proxmox, QEMU

78 points by goodburb 45 days ago | 20 comments

Rust in QEMU Roadmap – Paolo Bonzini (kernel.org)
Based on the content presented in the community calls, here are some ideas for future Rust in QEMU subprojects.

Rust, QEMU, Roadmap, Open Source, Virtualization

7 points by rbanffy 48 days ago | 0 comments

Rust in QEMU Roadmap (kernel.org)
Based on the content presented in the community calls, here are some ideas for future Rust in QEMU subprojects.

Rust, QEMU, Virtualization, Programming Languages, Open Source

224 points by todsacerdoti 52 days ago | 175 comments

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 103 days ago | 0 comments

Deterministic Replay of QEMU Emulation (qemu.org)

Virtualization, QEMU, Software, Deterministic Replay

175 points by Intralexical 143 days ago | 39 comments

OpenBSD 7.5 via QEMU on Hetzner physical machine (no phys. access / KVM console) (gfuzz.de)