{lib}: {
  sv1 = lib.callFragment ./sv1.nix {};
  sv2 = lib.callFragment ./sv2.nix {};
  dk1 = lib.callFragment ./dk1.nix {};
  dk1-iso = lib.callFragment ./dk1-iso.nix {};
}