On 5 Jul 2018, at 17:19, Warner Losh wrote: > FAT12 isn't good for UEFI. Use FAT16 or FAT32. We use it for the default image we built and the wiki suggests it as well at https://wiki.freebsd.org/UEFI#CD.2FDVD_Boot_under_UEFI I wonder where this “default” came from? /bz