MirageOS on NetBSD?

Does anyone has tested MirageOS on xen backend with NetBSD host?

Note: In the official documentation of MirageOS, requirements point out only to Linux or FreeBSD host.

I haven’t tested this code on NetBSD, I suspect that either it should work out of the box, or some NetBSD specifics (e.g. #ifdef in solo5) are needed. I guess all it takes is some time and a NetBSD box. :slight_smile: Please tell when you’re stuck.