Re: [ARMini-support] FAT16FS

  • From: Paul Porcelijn <p.porcelyn@xxxxxxxxxx>
  • To: armini-support@xxxxxxxxxxxxx
  • Date: Sat, 30 Jan 2021 02:44:54 +0100 (Custom)

Paul Porcelijn <p.porcelyn@xxxxxxxxxx> wrote:

The nice new Raspberry Pico can be easily programmed by 
USB-uploading an IntelHex file through its "SD-card" interface. 
Should be just as simple as with Micro:Bit programming: 
openup like a USB-stick and drag a file to a window.

For Micro:Bit this works on any system, including RISC OS, 
but to my disappointment the RPi Pico fails on ARMX6.

SCSIFS accepts the Pico as an "USB-stick", but SDFS doesn't 
recognise its file format: "Has it been formatted?" Yes, it 
certainly is! However not in FAT32 (as you might expect) but 
in good old FAT16 format. And RISC OS 5.29 apparently is too 
modern to accommodate DOS antiques..

Do we have to re-design a RISC OS 32bit FAT16FS module? 
Or is it still around? 


On 28 Jan, Steffen Huber <steffen@xxxxxxxxxxxx> wrote:
Hi Paul,
Both DOSFS and FAT32FS should happily support FAT12, FAT16 and FAT32.

However, edge cases exist where a medium cannot be read, often when
it was formatted with different formatters at different points of time.
Debugging such problems is however not fun...


On 29 Jan, A Rawnsley <rcomp@xxxxxxxxxxx> wrote:
Might be worth *rmkill-ing Fat32FS.  I have seen some (small) discs not 
play ball with FAT32FS so there are times when falling back to vanilla 
DOSFS can help. [...] As such, I could imagine DOSFS might work better.

Tried that, but no improvement. Steffen is right in praising FAT32FS for
supporting FAT16 as well, as I should have realised since MicroBit is
FAT16 and had been readily accepted by FAT32FS. 

I don't know enough about the Pico specs to know how much storage it is 
offering, but I'd guess it is probably measured in MBs rather than GBs.

That's right, MicroBit has 64 Mb and Rpi-Pico has 128Mb. So for economy
reasons FAT16 is a good choice (and in the PC-world the only "legal"
choice for disks up to 128Mb).

"Have fun" were Steffen's well chosen last words. Took me some effort to
find and adapt a suitable RISC OS diskmanager, but once I got it working
the naked truth surfaced: RPi-Pico is distributed with a blank bootsector,
only containing a partition-address (and a valid boot-signature). The
usual 64bytes BIOS parameter block is absent in sector 00, but is present
in (otherwise empty) sector 01. 

So apparently Raspberry Pi Pico expects FAT32FS to check both sector 00
and 01 for the presence of the parameter block. On Linux machines this
already is incorporated I guess..

Greetings,
Paul       



---
To alter your preferences or leave the group, 
visit //www.freelists.org/list/armini-support
List-related queries to info@xxxxxxxxxxxx

Other related posts: