Support Nanvix #1273
Description
Three PRs are required to be merged to support running the Nanvix guest OS on Hyperlight:
- feat: add GuestCounter API behind nanvix-unstable feature flag #1270
- feat: use i686 layout for nanvix-unstable guests and make snapshot RWX #1271
- feat: add hardware interrupt support (PIC, KVM IRQ chip, MSHV SynIC, WHP software timer) #1272 ( Add PIC/PIT (or equivalent) for host interrupt injection #1011 )
After this works makes it in, I plan to update hyperlight-nanvix and improve the process of maintaining Nanvix compatibility.