Re: u-boot debug, was: Re: U-boot on RPI3, sees disk but won't boot it

Reply: Mark Millard : "Re: u-boot debug, was: Re: U-boot on RPI3, sees disk but won't boot it"
In reply to: Mark Millard : "Re: u-boot debug, was: Re: U-boot on RPI3, sees disk but won't boot it"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: bob prohaska <fbsd_at_www.zefox.net>
Date: Tue, 04 Oct 2022 20:44:22 UTC

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