U-Boot 2024.04-rc4 (Mar 12 2024 - 17:05:43 +0100)

DRAM:  128 MiB (effective 3.1 GiB)
RPI 4 Model B (0xc03115)
Core:  210 devices, 16 uclasses, devicetree: board
MMC:   mmcnr@7e300000: 1, mmc@7e340000: 0
Loading Environment from FAT... Unable to read "uboot.env" from mmc0:1... 
In:    serial,usbkbd
Out:   serial,vidconsole
Err:   serial,vidconsole
Net:   eth0: ethernet@7d580000
PCIe BRCM: link up, 5.0 Gbps x1 (SSC)
Hit any key to stop autoboot:  0 
Card did not respond to voltage select! : -110
Bus xhci_pci: Register 5000420 NbrPorts 5
Starting the controller
USB XHCI 1.00
scanning bus xhci_pci for devices... 2 USB Device(s) found
ethernet@7d580000 Waiting for PHY auto negotiation to complete......... TIMEOUT !
bcmgenet: PHY startup failed: -110
ethernet@7d580000 Waiting for PHY auto negotiation to complete......... TIMEOUT !
bcmgenet: PHY startup failed: -110
U-Boot> 
U-Boot> 
U-Boot> 
U-Boot> 
U-Boot> fatls mmc 0
            .Trash-1001/
   648648   u-boot.bin
            overlays/
    52476   bootcode.bin
  2256224   start4.elf
    54809   bcm2711-rpi-4-b.dtb
  5234944   sel4test-driver-image-arm-bcm2711
       52   config.txt

6 file(s), 2 dir(s)

U-Boot> fatload mmc 0 0x10000000 sel4test-driver-image-arm-bcm2711
** Reading file would overwrite reserved memory **
Failed to load 'sel4test-driver-image-arm-bcm2711'
U-Boot> 
U-Boot> 
U-Boot> 
U-Boot> fatload mmc 0 ${kernel_addr_r} sel4test-driver-image-arm-bcm2711 
5234944 bytes read in 237 ms (21.1 MiB/s)
U-Boot> go ${kernel_addr_r}
## Starting application at 0x00080000 ...