devicetree file, kernel command line file, os-release (5) file, boot splash file, and TPM2 ... ukify build \ --linux=vmlinux \ --initrd=initrd.cpio \ --os-release=@os-release.txt \…