90 lines
3.4 KiB
Plaintext
90 lines
3.4 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 = "@@COREOS_DISK_PARTLABEL_LOOKUP_DIRECTORY@@/platform0";
|
|
type = "raw";
|
|
sha256 = "$swupdate_get_sha256(@@PN@@-@@MACHINE@@.ext4.zst)";
|
|
}
|
|
);
|
|
|
|
files: (
|
|
{
|
|
filename = "@@COREOS_KERNEL0_FILENAME@@";
|
|
path = "/KERNEL.EFI";
|
|
device = "@@COREOS_DISK_PARTLABEL_LOOKUP_DIRECTORY@@/boot0";
|
|
filesystem = "vfat";
|
|
sha256 = "$swupdate_get_sha256(@@COREOS_KERNEL0_FILENAME@@)";
|
|
}
|
|
);
|
|
|
|
bootenv: (
|
|
{
|
|
name = "kernelparams";
|
|
value = "root=PARTLABEL=platform0 @@WKS_KERNEL_ARGS@@";
|
|
},
|
|
{
|
|
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 = "@@COREOS_DISK_PARTLABEL_LOOKUP_DIRECTORY@@/platform1";
|
|
type = "raw";
|
|
sha256 = "$swupdate_get_sha256(@@PN@@-@@MACHINE@@.ext4.zst)";
|
|
}
|
|
);
|
|
|
|
files: (
|
|
{
|
|
filename = "@@COREOS_KERNEL1_FILENAME@@";
|
|
path = "/KERNEL.EFI";
|
|
device = "@@COREOS_DISK_PARTLABEL_LOOKUP_DIRECTORY@@/boot1";
|
|
filesystem = "vfat";
|
|
sha256 = "$swupdate_get_sha256(@@COREOS_KERNEL1_FILENAME@@)";
|
|
}
|
|
);
|
|
bootenv: (
|
|
{
|
|
name = "kernelparams";
|
|
value = "root=PARTLABEL=platform1 @@WKS_KERNEL_ARGS@@";
|
|
},
|
|
{
|
|
name = "watchdog_timeout_sec";
|
|
value = "@@EFIBOOTGUARD_TIMEOUT@@";
|
|
},
|
|
{
|
|
name = "kernelfile";
|
|
value = "C:BOOT1:KERNEL.EFI";
|
|
|
|
}
|
|
);
|
|
}
|
|
}
|
|
}
|
|
}
|