arch=arm
baudrate=1500000
board=evb_rk3588
board_name=evb_rk3588
boot_targets=mmc1 mmc0 nvme scsi usb pxe dhcp spi
bootcmd=bootflow scan -lb
bootdelay=1
cpu=armv8
cpuid#=413250544b0000000000000000130c16
eth1addr=be:cf:2a:ac:89:c1
ethaddr=be:cf:2a:ac:89:c0
fdt_addr_r=0x12000000
fdtcontroladdr=edf0db20
fdtfile=rockchip/rk3588-generic.dtb
fdtoverlay_addr_r=0x12100000
kernel_addr_r=0x02000000
kernel_comp_addr_r=0x0a000000
kernel_comp_size=0x8000000
loadaddr=0xc00800
partitions=uuid_disk=${uuid_gpt_disk};name=loader1,start=32K,size=4000K,uuid=${u                                                                                                                                                             uid_gpt_loader1};name=loader2,start=8MB,size=4MB,uuid=${uuid_gpt_loader2};name=t                                                                                                                                                             rust,size=4M,uuid=${uuid_gpt_atf};name=boot,size=112M,bootable,uuid=${uuid_gpt_b                                                                                                                                                             oot};name=rootfs,size=-,uuid=B921B045-1DF0-41C3-AF44-4C6F280D3FAE;
pxefile_addr_r=0x00e00000
ramdisk_addr_r=0x12180000
script_offset_f=0xffe000
script_size_f=0x2000
scriptaddr=0x00c00000
serial#=cbd57d8185496d67
soc=rk3588
stderr=serial@feb50000
stdin=serial@feb50000
stdout=serial@feb50000
vendor=rockchip