collect configuration of mmio devices #1924

Job	Run time
Format	23s
Check docs	24s
Build	1m 18s
Check	40s
Clippy	1m 36s
Test	1m 45s
Run (x86_64, rusty_demo, none, dev)	4m 3s
Run Hermit for Rust (x86_64 + kvm)	3m 57s
Run (x86_64, rusty_demo, none, release)	2m 37s
Run (x86_64, httpd, virtio-net-pci, dev)	2m 26s
Run (x86_64, httpd, virtio-net-pci, release)	3m 49s
Run (x86_64, httpd, rtl8139, dev)	2m 37s
Run (x86_64, httpd, rtl8139, release)	2m 37s
Run (x86_64, testudp, virtio-net-pci, dev)	3m 33s
Run (x86_64, testudp, virtio-net-pci, release)	2m 55s
Run (x86_64, testudp, rtl8139, dev)	1m 51s
Run (x86_64, testudp, rtl8139, release)	3m 13s
Run (x86_64, hello_world, none, dev)	2m 25s
Run (x86_64, hello_world, none, release)	2m 37s
Run (aarch64, rusty_demo, none, dev)	2m 28s
Run (aarch64, rusty_demo, none, release)	3m 28s
Run (aarch64, httpd, virtio-net-pci, dev)	2m 2s
Run (aarch64, httpd, virtio-net-pci, release)	3m 47s
Run (aarch64, testudp, virtio-net-pci, dev)	3m 5s
Run (aarch64, testudp, virtio-net-pci, release)	3m 8s
Run (riscv64, rusty_demo, none, dev)	2m 27s
Run (riscv64, rusty_demo, none, release)	2m 41s
	1h 7m 52s

Provide feedback