processor : 0
BogoMIPS : 108.00
Features : fp asimd evtstrm crc32 cpuid
CPU implementer : 0x41
CPU architecture: 8
CPU variant : 0x0
CPU part : 0xd08
CPU revision : 3
processor : 1
BogoMIPS : 108.00
Features : fp asimd evtstrm crc32 cpuid
CPU implementer : 0x41
CPU architecture: 8
CPU variant : 0x0
CPU part : 0xd08
CPU revision : 3
processor : 2
BogoMIPS : 108.00
Features : fp asimd evtstrm crc32 cpuid
CPU implementer : 0x41
CPU architecture: 8
CPU variant : 0x0
CPU part : 0xd08
CPU revision : 3
processor : 3
BogoMIPS : 108.00
Features : fp asimd evtstrm crc32 cpuid
CPU implementer : 0x41
CPU architecture: 8
CPU variant : 0x0
CPU part : 0xd08
CPU revision : 3
Revision : c03115
Serial : 10000000fb1b38b1
Model : Raspberry Pi 4 Model B Rev 1.5
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> printenv
arch=arm
baudrate=115200
board=rpi
board_name=4 Model B
board_rev=0x11
board_rev_scheme=1
board_revision=0xC03115
boot_targets=mmc usb pxe dhcp
bootcmd=bootflow scan
bootdelay=2
cpu=armv8
dfu_alt_info=u-boot.bin fat 0 1;uboot.env fat 0 1; config.txt fat 0 1;Image fat
0 1
dhcpuboot=usb start; dhcp u-boot.uimg; bootm
ethact=ethernet@7d580000
ethaddr=d8:3a:dd:b0:3f:a0
fdt_addr=7fe2500
fdt_addr_r=0x02600000
fdt_high=ffffffffffffffff
fdtcontroladdr=7b1a2e0
fdtfile=broadcom/bcm2711-rpi-4-b.dtb
initrd_high=ffffffffffffffff
kernel_addr_r=0x00080000
loadaddr=0x1000000
preboot=pci enum;
pxefile_addr_r=0x02500000
ramdisk_addr_r=0x02700000
scriptaddr=0x02400000
serial#=10000000fb1b38b1
soc=bcm283x
stderr=serial,vidconsole
stdin=serial,usbkbd
stdout=serial,vidconsole
usbethaddr=d8:3a:dd:b0:3f:a0
vendor=raspberrypi
Environment size: 814/16380 bytes
U-Boot>
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 ...
_______________________________________________
Devel mailing list -- devel@sel4.systems
To unsubscribe send an email to devel-leave@sel4.systems
