(In reply to Guillaume GARDET from comment #6) > The comment in JeOS is: > "Map /boot as ext4 to make dtbs available to U-Boot" > > For RPi, we need a FAT partition so that the firmware, dtb and u-boot can be > loaded. That's the VFAT EFI partition. /boot is on btrfs, at least for the SLE JeOS and openSUSE JeOS should do the same.