Description of Changes

• Removed hardcoded GPU from the intel-laptop target and enabled cold-plugging of PCI devices by generating QEMU arguments in vhotplug and passing them to QEMU via microvm.extraArgsScript.
• Enabled network PCI device auto-detection in the demo-tower target.
• Updated vhotplug to a version with a fixed killswitch bug.

Type of Change

• New Feature
• Bug Fix
• Improvement / Refactor

Related Issues / Tickets

Checklist

• Clear summary in PR description
• Detailed and meaningful commit message(s)
• Commits are logically organized and squashed if appropriate
• Contribution guidelines followed
• Ghaf documentation updated with the commit - https://tiiuae.github.io/ghaf/
• Author has run make-checks and it passes
• All automatic GitHub Action checks pass - see actions
• Author has added reviewers and removed PR draft status

Testing Instructions

Applicable Targets

• Orin AGX aarch64
• Orin NX aarch64
• Lenovo X1 x86_64
• Dell Latitude x86_64
• System 76 x86_64

Installation Method

• Requires full re-installation
• Can be updated with nixos-rebuild ... switch
• Other:

Test Steps To Verify:

• The Ghaf killswitch persistently issue should now be fixed.
• No new changes to intel-laptop target but it should still now boot correctly on all laptops supported by Ghaf without a GPU being hardcoded in the code.
• The new demo tower with a different ethernet adapter should have it passed through to the NetVM using PCI auto-detection in vhotplug. This will only work if there are no other devices in the same IOMMU group.