Lach

CI failures seem to be unrelated, looking at the other PRs. I also don't see a way to add test for this PR's changes, as it won't be possible to...

> I also now got systemd-logind[2455]: Parsed PE file '/boot/EFI/Linux/xen-generation-395-4jk5grj5thec6zlqt5jfhpplmes6lsb5tdwyevfyx37hqfqgehcq.efi' is not a UKI. which is new. This is normal, as generated image is not a kernel image (K in...

> Do you know how to set it as default? Usually, the new generations always get selected by default, but this time, it didn't? (With xen support) entry should be...

After rebase, noticed that GC does no longer work, fixed that. Latest commit might also change the ordering issue, though I haven't encountered that, probably due to customized loader.conf

Entries generated using the old version need to be removed manually, rm /boot/loader/entries/xen-* /boot/efi/Linux/xen-* As for entries not generating - can you try to change your nixos configuration a little,...

Huh, are you sure you install correct lanzaboote? inputs.lanzaboote.url = "github:CertainLach/lanzaboote/feat/xen"; Do you have xen extension in your /run/current-system/boot.json?

Rebased to latest lanzaboote master. As for merging... @blitz @RaitoBezarius sorry for pinging, but this is really unfortunate that Xen in NixOS doesn't work with lanzaboote, and this PR is...

This is not a backend, it can be treated as another nixos boot configuration, xen replaces standard nixos linux kernel here. In NixOS, you enable Xen (virtualisation.xen.enable), and nixpkgs's systemd-boot...

> If Xen was simply a different kernel, the modifications to the shared crate should directly go into NixOS and lanzaboote should not be aware of Xen as a different...

Nope, the only LD_PRELOADed library is shmoverride, the rest of runtime dependencies are explicit elf shared object dependencies. NixOS patches rarely touch runtime logic, and I see no such changes...