Skip site navigation (1)Skip section navigation (2)
Date:      Thu, 19 Oct 2023 00:45:25 -0700
From:      Mark Millard <marklmi@yahoo.com>
To:        Rahul Rameshbabu <sergeantsagara@protonmail.com>
Cc:        Warner Losh <imp@bsdimp.com>, freebsd-arm@freebsd.org
Subject:   Re: State of the freebsd/crochet project?
Message-ID:  <33693188-5C53-4C9E-8F67-647655E957BD@yahoo.com>
In-Reply-To: <87wmvjjkae.fsf@protonmail.com>
References:  <87ttqrqnal.fsf@protonmail.com> <ZS6FAjRlRimUVoWR@int21h> <CANCZdfq%2B4L-guWeEck5OqgFTuXLv%2B6BLOfcDuqVgUSvm7X9SUg@mail.gmail.com> <ZS6PuBrr9wChkhov@int21h> <CANCZdfqAhAeuc-K6O3T-E6FGgy-Lktutc3NSfcmRO5OrhSxYJg@mail.gmail.com> <87wmvjjkae.fsf@protonmail.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On Oct 18, 2023, at 21:41, Rahul Rameshbabu =
<sergeantsagara@protonmail.com> wrote:

> On Tue, 17 Oct, 2023 09:01:33 -0600 "Warner Losh" <imp@bsdimp.com> =
wrote:
>> On Tue, Oct 17, 2023, 7:44 AM void <void@f-m.fm> wrote:
>>=20
>> On Tue, Oct 17, 2023 at 07:13:28AM -0600, Warner Losh wrote:
>>=20
>>> Crochet has no active maintainers. Most people have moved on to =
poudriere.
>>=20
>> Does poudriere handle the msdos uboot *and* efi part when=20
>> creating the image?
>>=20
>> Yes. I worked with manu years ago to put all the needed metadata for =
the different boards into the ports...
>=20
> It does but it seems to have an unfortunate caveat. It assumes that
> FAT16 is supported by all embedded targets. The Raspberry Pi 4 and I
> assume the Pi 5 as well drop support for FAT16

The snapshot images booted the RPI4B's that I have access to just fine
last I tried such. But release/arm64/RPI.conf and release/tools/arm.subr
which are used to build such uses (selective axtractions across files):

FAT_SIZE=3D"50m -b 1m"
FAT_TYPE=3D"16"
. . .
gpart add -t efi -l efi -a 512k -s ${FAT_SIZE} ${mddev}
newfs_msdos -L efi -F ${FAT_TYPE} /dev/${mddev}s1

FreeBSD release images are also build with such: efi partition
type and a FAT16 file system.

Looking at a (my abbreviation) RaspiOS64 boot media used to boot
the RPi4B's (official RPi* media content, not FreeBSD materials):

# newfs_msdos -N /dev/da0s1
/dev/da0s1: 523984 sectors in 32749 FAT16 clusters (8192 bytes/cluster)
BytesPerSec=3D512 SecPerClust=3D16 ResSectors=3D1 FATs=3D2 =
RootDirEnts=3D512 Media=3D0xf0 FATsecs=3D128 SecPerTrack=3D63 Heads=3D255 =
HiddenSecs=3D0 HugeSectors=3D524288

But it does have a partition type of fat32lba:

# gpart show -p /dev/da0
=3D>       63  468862065    da0  MBR  (224G)
         63       8129         - free -  (4.0M)
       8192     524288  da0s1  fat32lba  (256M)
     532480  468329648  da0s2  linux-data  (223G)

Do you know some specific RPi4B EEPROM content for which a FAT16
file syatem is not supported? (The EEPROM has the RPi4B boot
loader.) Or are you saying some U-Boot vintage is restricted to
FAT32 file systems for loading FreeBSD's EFI/BOOT/bootaa64.efi ?

Or may be you are referencing the partition type (expressed here
in gpart terms), instead of the actual file system type that is
contained? :

     efi                    The system partition for computers that use =
the
                            Extensible Firmware Interface (EFI).  The =
scheme-
                            specific types are "!239" for MBR, and
                            "!c12a7328-f81f-11d2-ba4b-00a0c93ec93b" for =
GPT.
. . .
     fat16                  A partition that contains a FAT16 =
filesystem.  The
                            scheme-specific type is "!6" for MBR.

     fat32                  A partition that contains a FAT32 =
filesystem.  The
                            scheme-specific type is "!11" for MBR.

     fat32lba               A partition that contains a FAT32 (LBA)
                            filesystem.  The scheme-specific type is =
"!12" for
                            MBR.

(It has been some time since last I tried it, but last I tried
partition type fat16, the RPi4B's boot from it just fine if I
remember right. But GPT is supported, not just MBR.)

> , so the boot partition
> needs to be FAT32.
>=20

Not for the actual file system for any fairly modern vintage of
RPi4B EEPROM content or U-Boot that I'm aware of. I've less
certainty about the range of partition types, not having tested
such in recent times.

Is there a chance you are using so large of an msdos file
system that a FAT32/FAT32LBA file system is a requirement?

=3D=3D=3D
Mark Millard
marklmi at yahoo.com




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?33693188-5C53-4C9E-8F67-647655E957BD>