Port FreeBSD to QEMU MicroVM for GSoC 2025

Hi,

I am interested in contributing to FreeBSD MicroVM for GSoC 2025 and
would like to focus on writing or improving a device driver. I have
some experience in kernel development and have built a few drivers,
but I am still learning and want to take on a task that is both
impactful and aligned with my skill level.

Could you provide insights on:
What device drivers are currently missing or need improvement for
FreeBSD MicroVM?
Are there specific VirtIO drivers that would be valuable to implement
or optimize (e.g., virtio-rng, virtio-blk)?
Would extending an existing driver (like virtio-blk) be more useful
than writing a new one?

Additionally, since you are interested in co-mentoring this project,
could you suggest the right people who might be interested in
mentoring throughout GSoC? Your guidance would be invaluable in
shaping a well-structured proposal.

I would appreciate your thoughts and guidance.

Regards
Pranav Tyagi