eclipse-leda-raspberrypi.tar.xz file containing image with boot partition is FAT16 and not FAT32

[christian-kahr-itk]

Describe the bug

We downloaded https://github.com/eclipse-leda/leda-distro/releases/download/v0.1.0-M2/eclipse-leda-raspberrypi.tar.xz
and tried to flash it to SD card according to https://eclipse-leda.github.io/leda/docs/general-usage/raspberry-pi/
but we always got cannot read partition 0 as FAT.

So we checked the partition type and saw it's not FAT32. Linux say it's FAT16 - Windows 7-ZIP identifies it as Windows BDP.

To Reproduce
Steps to reproduce the behaviour:

1. Download *.tar.xz
2. flash tar.xz or wic

Expected behaviour
a image to use on RPI 4

Screenshots / Logfiles

Leda Version (please complete the following information):

• Version: v0.1.0-M2
• Machine: raspberrypi4-64

[vasilvas99]

Hi, I am failing to reproduce the bug. 7zip shows a similar picture as the one you've posted:
.

My workflow is as follows (Ubuntu 22.04):

1. Download the tar (note the tar.xz cannot be flashed directly) with:

wget https://github.com/eclipse-leda/leda-distro/releases/download/v0.1.0-M2/eclipse-leda-raspberrypi.tar.xz

2. Extract the archive with:

 tar -xvf eclipse-leda-raspberrypi.tar.xz -C leda && cd leda

3. Install bmaptools (ref: https://command-not-found.com/bmaptool)
4. Flash with bmaptool :

sudo bmaptool copy --bmap sdv-image-all-raspberrypi4-64.wic.bmap sdv-image-all-raspberrypi4-64.wic.bz2 /dev/mmcblk0

Since you mentioned it, I assume you have a Linux machine available, could you try exactly the steps above? Only difference might be that you might have to substitute /dev/mmcblk0 with the actual path to the block device on your machine.

If they fail, could you try with a different sd card?

[christian-kahr-itk]

@vasilvas99 will give it a try when find again time :D but why didnt you mention in documentation bmaptool?

[vasilvas99]

@vasilvas99 will give it a try when find again time :D but why didnt you mention in documentation bmaptool?

Thanks :)
Bmaptool is mentioned in the doc page you've linked a bit further down:

[christian-kahr-itk]

ok i will give it a try - i asked my collegue and after seeing it pretty sure we tried too. just one small question. is the tests done on PI3 or PI4? because PI3 can handle FAT16 boot partition but PI4 cannot handle it.

[vasilvas99]

RPi4B-64 is the only one currently supported. My test board is one of those as well.

Thanks for the the help with debugging

Edit:

Went through the image with wic ls from bitbake, it indeed shows fat16.