prk_firmware: Corrupt FAT on FreeBSD / Linux

I just copied the most recent UF2 of prk_firmware to my RP2040 (from Rasperry Pi Foundation). On FreeBSD, it comes up like this:

ugen0.4: <PRK Firmware developers Default VID/PID> at usbus0
umodem0 on uhub0
umodem0: <PRK CDC> on usbus0
umodem0: data interface 1, has no CM over data, has no break
umass0 on uhub0
umass0: <PRK MSC> on usbus0
umass0:  SCSI over Bulk-Only; quirks = 0x0000
umass0:1:0: Attached to scbus1
uhid0 on uhub0
uhid0: <PRK Firmware developers Default VID/PID, class 239/2, rev 2.00/1.00, addr 4> on usbus0
da0 at umass-sim0 bus 0 scbus1 target 0 lun 0
da0: <TinyUSB Mass Storage 1.0> Removable Direct Access SCSI-2 device
da0: Serial Number 0.9.20 (20221226 revision ac046
da0: 1.000MB/s transfers
da0: 0MB (128 4096 byte sectors)
da0: quirks=0x2<NO_6_BYTE>
uhid1 on uhub0
uhid1: <PRK Firmware developers Default VID/PID, class 239/2, rev 2.00/1.00, addr 4> on usbus0

I can dd if=/dev/da0 of=/tmp/prk.img bs=4096 count=128. But I cannot mount it via mount -t msdos /dev/da0 /mnt. Is FreeBSD expecting a partition table?

On Ubuntu Linux (22.04), the FAT file system comes up, but it shows corrupted file names.

Is it likely that during the transfer of the UF2 to the RP2040, corruption did take place? prk_firmware is quite “large”… so maybe chances for corruption is higher.
Or is it more likely that the FAT implementation of prk_firmware is just missing some functionality?

Connecting against the serial port works: picocom /dev/cuaU0 shows Please make keymap.rb in PRKFirmware drive repeatedly.

About this issue

Original URL
State: closed
Created a year ago
Comments: 17 (9 by maintainers)

Most upvoted comments

Yes, solved! Thanks!

mneumann on May 8, 2023

Could you try this uf2? It’s a candidate for the next release https://drive.google.com/file/d/1w8fy_2akx3asZxyj8zGdRNPcrkATFkyl/view?usp=share_link

This works! With the new firmware, I can mount da0s1. Thanks a lot!

mneumann on May 3, 2023

I tried dd if=/dev/FAT512K.bin of=/dev/da0 bs=4k with new bin file here on FreeBSD, and I could make PRK working. Please try it.

This works! So using bs=4k is the trick here.

mneumann on May 3, 2023

Still fails.

After dd if=FAT512K.img of=/dev/da0 (and unplugging USB and plugging it in again):

da0 at umass-sim0 bus 0 scbus1 target 0 lun 0
da0: <TinyUSB Mass Storage 1.0> Removable Direct Access SCSI-2 device
da0: Serial Number 0.9.20 (20221226 revision ac046
da0: 1.000MB/s transfers
da0: 0MB (128 4096 byte sectors)
da0: quirks=0x2<NO_6_BYTE>

And mounting it with mount -t msdos /dev/da0 /mnt fails:

mount_msdosfs: /dev/da0: Invalid argument

Are you sure, you are not messing with 512-bytes vs. 4096-bytes sector sizes? Or is TinyUSB Mass Storage library always using 4096-bytes sized disk sectors?

mneumann on May 2, 2023