MirageOS In The Xen Kernel

General Discussion
1

Are MirageOS libraries/kernels included in the Xen kernel?

2

I’m not aware of that. It works the other way round, mirageOS has code to communicate using the Xen interface : GitHub - mirage/mirage-xen: Xen core platform libraries for MirageOS