software = { version = "2.0.1"; hardware-compatibility = [ "#RE:^Rev\.[D-E]$" ]; images: ( { filename = "rootfs.ext2.gz"; device = "/dev/mmcblk0p2"; type = "raw"; installed-directly = true; compressed = "zlib"; } ); files: ( { filename = "funkey_gpio_management"; path = "/tmp/funkey_gpio_management"; } ); scripts: ( { filename = "update_partition"; type = "shellscript"; } ); }