Closed hannesm closed 1 year ago
turns out the xen unikernels aren't tested by the debian 10 system (ok 12 output xen # skip xl not available
), I'm wondering what the CI setup is, is this done on a physical machine with xen?
turns out the xen unikernels aren't tested by the debian 10 system (ok 12 output xen # skip xl not available), I'm wondering what the CI setup is, is this done on a physical machine with xen?
We probably missed an image of Debian with Xen indeed but I'm not a user of Xen at all 😕. I will make an issue to keep track about that. If someone has the time to explain how to install/use Xen on Debian 11, it will be super useful for me to create a new image (or update the current one).
I will merge the test as is and I made an issue for the CI. Thanks!
This is a test case for #537 / #538 for all targets, so we do not end up in any regression.