software =
{
    version = "@@DISTRO_VERSION@@";
    @@MACHINE@@ = {
        hardware-compatibility: ["1.0"];
        factory = {
            emmc = {
                partitions: (
                    {
                        type = "diskpart";
                        device = "/dev/mmcblk1";
                        properties: {
                                labeltype = "dos";
                                partition-1 = [ "size=32M", "start=133120", "name=efi", "type=0xef", "fstype=fat16"];
                        };
                    }
                );
                images: (
                    {
                        filename = "MLO";
                        device = "/dev/mmcblk1";
                        offset = "128K";
                        sha256 = "$swupdate_get_sha256(MLO)";
                    },
                    {
                        filename = "u-boot-beaglebone.img";
                        device = "/dev/mmcblk1";
                        offset = "384K";
                        sha256 = "$swupdate_get_sha256(u-boot-beaglebone.img)";

                    }
                );
                files: (
                    {
                        filename = "efibootguardarm.efi";
                        path = "/EFI/BOOT/bootarm.efi";
                        device = "/dev/mmcblk1p1";
                        filesystem = "vfat";
                        sha256 = "$swupdate_get_sha256(efibootguardarm.efi)";
                        properties: {
                            create-destination = "true";
                        }
                    }
                );
            }
        }
    }
}
