Hi @mo123,
It booted initially, restarted, and booted again.
Output from console:
Load uboot, ReadLba = 2000
Load OK, addr=0x200000, size=0xb2e3c
RunBL31 0x40000
NOTICE: BL31: v1.3(release):51fa197
NOTICE: BL31: Built : 14:53:31, Mar 13 2020
NOTICE: BL31: Rockchip release version: v1.1
INFO: GICv3 with legacy support detected. ARM GICV3 driver initialized in EL3
INFO: Using opteed sec cpu_context!
INFO: boot cpu mask: 0
INFO: If lpddr4 need support multi frequency,
INFO: please update loader!
INFO: Current ctl index[0] freq=400MHz
INFO: Current ctl index[1] freq=800MHz
INFO: plat_rockchip_pmu_init(1191): pd status 3e
INFO: BL31: Initializing runtime services
WARNING: No OPTEE provided by BL2 boot loader, Booting device without OPTEE initialization. SMC`s destined for OPTEE will return SMC_UNK
ERROR: Error initializing runtime service opteed_fast
INFO: BL31: Preparing for EL3 exit to normal world
INFO: Entry point address = 0x200000
INFO: SPSR = 0x3c9
U-Boot 2017.09 (Apr 22 2020 - 11:53:49 +0200)
Model: Rockchip RK3399 Evaluation Board
PreSerial: 2
DRAM: 3.9 GiB
Sysmem: init
Relocation Offset: f7d0b000, fdt: f5ef5b08
I2c0 speed: 400000Hz
PMIC: RK808
vdd_center init 950000 uV
MMC: dwmmc@fe320000: 1, sdhci@fe330000: 0
Using default environment
In: serial@ff1a0000
Out: serial@ff1a0000
Err: serial@ff1a0000
Model: Rockchip RK3399 Evaluation Board
GUID Partition Table Header signature is wrong: 0xFFFFFFFFFFFFFFFF != 0x5452415020494645
switch to partitions #0, OK
mmc1 is current device
Found IDB in SDcard
Bootdev(atags): mmc 1
MMC1: Legacy, 50Mhz
PartType: DOS
rockchip_get_boot_mode: Could not found misc partition
boot mode: None
CLK: (uboot. arml: enter 816000 KHz, init 816000 KHz, kernel 0N/A)
CLK: (uboot. armb: enter 816000 KHz, init 816000 KHz, kernel 0N/A)
aplll 816000 KHz
apllb 816000 KHz
dpll 800000 KHz
cpll 24000 KHz
gpll 800000 KHz
npll 600000 KHz
vpll 24000 KHz
aclk_perihp 133333 KHz
hclk_perihp 66666 KHz
pclk_perihp 33333 KHz
aclk_perilp0 266666 KHz
hclk_perilp0 88888 KHz
pclk_perilp0 44444 KHz
hclk_perilp1 100000 KHz
pclk_perilp1 50000 KHz
Net: eth0: ethernet@fe300000
Hit key to stop autoboot('CTRL+C'): 0
switch to partitions #0, OK
mmc1 is current device
Scanning mmc 1:1...
Found /extlinux/extlinux.conf
Retrieving file: /extlinux/extlinux.conf
reading /extlinux/extlinux.conf
190 bytes read in 3 ms (61.5 KiB/s)
1: LibreELEC
Retrieving file: /KERNEL
reading /KERNEL
21889032 bytes read in 916 ms (22.8 MiB/s)
append: boot=UUID=0405-0258 disk=UUID=03a2dd78-7557-421f-8e87-fb192de3dbdd quiet console=uart8250,mmio32,0xff1a0000 console=tty0
Retrieving file: /rk3399-rock-pi-4.dtb
reading /rk3399-rock-pi-4.dtb
94801 bytes read in 7 ms (12.9 MiB/s)
## Flattened Device Tree blob at 08300000
Booting using the fdt blob at 0x8300000
'reserved-memory' ramoops@110000: addr=110000 size=f0000
Loading Device Tree to 00000000f5ed8000, end 00000000f5ef2250 ... OK
Adding bank: 0x00200000 - 0xf8000000 (size: 0xf7e00000)
Total: 3706.21 ms
Starting kernel ...
It booted to a welcome screen on HDMI. I setup some things, and restarted.
However after restart, there is no HDMI output. The status led keeps blinking, so I think it boots and gets stuck somewhere. Console output is same as above.
Edit - dmesg output