104 lines
4.0 KiB
Plaintext
104 lines
4.0 KiB
Plaintext
software =
|
|
{
|
|
version = "@@DISTRO_VERSION@@";
|
|
@@MACHINE@@ = {
|
|
hardware-compatibility: ["1.0"];
|
|
stable = {
|
|
copy0 = {
|
|
images: (
|
|
{
|
|
filename = "@@PN@@-@@MACHINE@@.ext4.zst";
|
|
compressed = "zstd";
|
|
installed-directly = true;
|
|
# partlabel are stored inside the GPT partition table.
|
|
# The partition table is flashed only once and never updated
|
|
device = "/dev/disk/by-partlabel/rootfs1";
|
|
type = "raw";
|
|
sha256 = "$swupdate_get_sha256(@@PN@@-@@MACHINE@@.ext4.zst)";
|
|
}
|
|
);
|
|
|
|
files: (
|
|
{
|
|
filename = "@@COREOS_KERNEL0_FILENAME@@";
|
|
path = "/KERNEL.EFI";
|
|
device = "/dev/disk/by-partlabel/ebg1";
|
|
filesystem = "vfat";
|
|
sha256 = "$swupdate_get_sha256(@@COREOS_KERNEL0_FILENAME@@)";
|
|
},
|
|
{
|
|
filename = "@@COREOS_EFIBOOTGUARD_FILENAME@@";
|
|
path = "@@EFIDIR@@/@@EFI_BOOT_IMAGE@@";
|
|
device = "/dev/disk/by-partlabel/platform1/efi";
|
|
filesystem = "vfat";
|
|
sha256 = "$swupdate_get_sha256(@@COREOS_EFIBOOTGUARD_FILENAME@@)";
|
|
}
|
|
);
|
|
|
|
bootenv: (
|
|
{
|
|
name = "kernelparams";
|
|
value = "";
|
|
},
|
|
{
|
|
name = "watchdog_timeout_sec";
|
|
value = "@@EFIBOOTGUARD_TIMEOUT@@";
|
|
},
|
|
{
|
|
name = "kernelfile";
|
|
value = "C:BOOT0:KERNEL.EFI";
|
|
|
|
}
|
|
);
|
|
}
|
|
|
|
copy1 = {
|
|
images: (
|
|
{
|
|
filename = "@@PN@@-@@MACHINE@@.ext4.zst";
|
|
compressed = "zstd";
|
|
installed-directly = true;
|
|
# partlabel are stored inside the GPT partition table.
|
|
# The partition table is flashed only once and never updated
|
|
device = "/dev/disk/by-partlabel/rootfs0";
|
|
type = "raw";
|
|
sha256 = "$swupdate_get_sha256(@@PN@@-@@MACHINE@@.ext4.zst)";
|
|
}
|
|
);
|
|
|
|
files: (
|
|
{
|
|
filename = "@@COREOS_KERNEL1_FILENAME@@";
|
|
path = "/KERNEL.EFI";
|
|
device = "/dev/disk/by-partlabel/ebg0";
|
|
filesystem = "vfat";
|
|
sha256 = "$swupdate_get_sha256(@@COREOS_KERNEL1_FILENAME@@)";
|
|
},
|
|
{
|
|
filename = "@@COREOS_EFIBOOTGUARD_FILENAME@@";
|
|
path = "@@EFIDIR@@/@@EFI_BOOT_IMAGE@@";
|
|
device = "/dev/disk/by-partlabel/efi";
|
|
filesystem = "vfat";
|
|
sha256 = "$swupdate_get_sha256(@@COREOS_EFIBOOTGUARD_FILENAME@@)";
|
|
}
|
|
);
|
|
bootenv: (
|
|
{
|
|
name = "kernelparams";
|
|
value = "";
|
|
},
|
|
{
|
|
name = "watchdog_timeout_sec";
|
|
value = "@@EFIBOOTGUARD_TIMEOUT@@";
|
|
},
|
|
{
|
|
name = "kernelfile";
|
|
value = "C:BOOT1:KERNEL.EFI";
|
|
|
|
}
|
|
);
|
|
}
|
|
}
|
|
}
|
|
}
|