Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 4 Oct 2022 13:44:22 -0700
From:      bob prohaska <fbsd@www.zefox.net>
To:        Mark Millard <marklmi@yahoo.com>
Cc:        freebsd-uboot@freebsd.org
Subject:   Re: u-boot debug, was: Re: U-boot on RPI3, sees disk but won't boot it
Message-ID:  <20221004204422.GB11488@www.zefox.net>
In-Reply-To: <533122C7-DFBA-4FF8-8A61-B6F4477368D8@yahoo.com>
References:  <20221002182049.GA2255@www.zefox.net> <5FFDAA6A-AD8C-4E40-A2EB-4082E5086679@googlemail.com> <38DFEB91-AC60-4FD1-8088-95B0A06C5E5D@yahoo.com> <EEC43DA1-6B68-4FDD-A68A-A3055E86E407@googlemail.com> <20221003004624.GA3381@www.zefox.net> <B32F06DD-DFAF-4CB7-A973-7C07846F6E8E@yahoo.com> <20221004001857.GA7109@www.zefox.net> <62F8D709-BBC3-41C4-B1A9-939B2001BA52@yahoo.com> <20221004192707.GA11488@www.zefox.net> <533122C7-DFBA-4FF8-8A61-B6F4477368D8@yahoo.com>

next in thread | previous in thread | raw e-mail | index | archive | help
On Tue, Oct 04, 2022 at 01:04:20PM -0700, Mark Millard wrote:
> 
> I sent EDK2 instructions last night for producing a
> EDK2 microsd card. See:
> 
> https://lists.freebsd.org/archives/freebsd-arm/2022-October/001903.html
> 

It took a second reading to recognize that. Sorry!

> But I did not list gpart show output for the
> media that I used:
> 
> =>      63  61145025    mmcsd0  MBR  (29G)
>         63      1985            - free -  (993K)
>       2048    524288  mmcsd0s1  fat32lba  [active]  (256M)
>     526336  60618752            - free -  (29G)
> 
> the slice/parition with type fat32lba is much larger
> than required. Plain fat32 for the type likely would
> work for booting as well.
> 
> Side note: The FreeBSD sysutils/edk2 port does not include/cover
> the RPi* firmware files involved. The:
> 
> https://github.com/pftf/RPi3/releases/download/v1.37/RPi3_UEFI_Firmware_v1.37.zip
> 
> also has the officially tested RPi* firmware included,
> although we need one more file to get the serial console
> working for FreeBSD. That is covered in the instructions.
> (We might need another for microsd card slot use.)

Thanks very much, I'll look through the .zip archive and
see if I can orient myself.

bob prohaska




Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20221004204422.GB11488>