Open
Description
To keep our sd card images small, it's nice to make the rootfs partition small. However, you may quickly run out of room on the rootfs. We can manually resize the partitions with gparted, but that's not great for end users.
Rather, we should do something like the raspberry pis do, and resize the rootfs to take up all empty space on the SD card on boot (or with a script).