Skip to content

Add virtio-mem, virtio-balloon, and virtio-rng device support + CI - #7

Open
Zildj1an wants to merge 1 commit into
seemoo-lab:mainfrom
Zildj1an:cbilbao/virtio-mem
Open

Add virtio-mem, virtio-balloon, and virtio-rng device support + CI#7
Zildj1an wants to merge 1 commit into
seemoo-lab:mainfrom
Zildj1an:cbilbao/virtio-mem

Conversation

@Zildj1an

@Zildj1an Zildj1an commented Jul 18, 2026

Copy link
Copy Markdown

Extend VirtFuzz to target additional virtio device drivers beyond the original wireless/Bluetooth scope.

virtio-mem (id=24): single guest-request virtqueue; config space initialised with a 2MiB block size, 256MiB region at 4GiB physical base. Includes kernel config fragment (mem.config) enabling CONFIG_VIRTIO_MEM and annotate-mem.sh to instrument drivers/virtio/virtio_mem.c for kcov coverage.

virtio-balloon (id=5) and virtio-rng (id=4) added as minimal stubs; their config structs and CLI.

All three devices are selectable via --device mem / balloon / rng or via a JSON device-definition file.

Also added CI testing:

09:47 [VirtFuzz][virtio-mem-and-other-devices !?]$ cargo test qemu::device_config
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
     Running unittests src/lib.rs (target/debug/deps/virtfuzz-9c10a25e26c60738)

running 2 tests
test qemu::device_config::tests::virtio_balloon_config_size ... ok test qemu::device_config::tests::virtio_mem_config_size ... ok

test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 13 filtered out; finished in 0.00s

Extend VirtFuzz to target additional virtio device drivers beyond
the original wireless/Bluetooth scope.

virtio-mem (id=24): single guest-request virtqueue; config space
initialised with a 2MiB block size, 256MiB region at 4GiB physical
base. Includes kernel config fragment (mem.config) enabling
CONFIG_VIRTIO_MEM and annotate-mem.sh to instrument
drivers/virtio/virtio_mem.c for kcov coverage.

virtio-balloon (id=5) and virtio-rng (id=4) added as minimal
stubs; their config structs and CLI.

All three devices are selectable via --device mem / balloon / rng
or via a JSON device-definition file.

Also added CI testing:

09:47 [VirtFuzz][virtio-mem-and-other-devices !?]$ cargo test qemu::device_config
    Finished `test` profile [unoptimized + debuginfo] target(s) in 0.07s
     Running unittests src/lib.rs (target/debug/deps/virtfuzz-9c10a25e26c60738)

running 2 tests
test qemu::device_config::tests::virtio_balloon_config_size ... ok
test qemu::device_config::tests::virtio_mem_config_size ... ok

test result: ok. 2 passed; 0 failed; 0 ignored; 0 measured; 13 filtered out; finished in 0.00s
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant