I’ve posted a tutorial to install the DietPi distribution which seems interesting, even ideal, for the mini-PC kits (a good initiative that I think will be successful) that you are proposing, since Gladys is made for Raspberry Pi and now mini-PCs and this distro offers similar images for both platforms.