LibreELEC RR (fork) - RockPi 4

Hi fellas,

I recently discovered a fork for LibreELEC which includes retrogaming platforms, well organized, running a great amount of emulators and fully working. There wasn’t any build or tested release for our board, so I decided to build it by myself and, after tested, I have to say that is working like a charm.

Here you can read more about this amazing project:

And here my built image:

Since LibreELEC repository is not working in this version and there are some missing addons, I finally managed to install docker and other repositories from ZIP.
I also had to config my 8bit bluetooth gamepad by creating an udev rule under /etc/udev/rules.d/ called 99-gamepad.rules

SUBSYSTEM=="input", ATTRS{name}=="Gamepad", KERNEL=="event*", MODE="0666", ENV{LIBINPUT_IGNORE_DEVICE}="1" SUBSYSTEM=="input", ATTRS{name}=="Gamepad", KERNEL=="event*", MODE="0666", ENV{ID_INPUT_JOYSTICK}="1"

Enjoy! ;-)


Thanks for sharing. I will add it on the wiki community built image section :slight_smile:

You’re very welcome! and thank you too for giving us the opportunity to contribute! :wink:


Can someone check if they get this LE booting on RockPi 4?
I can’t seem to boot it, so just want to make sure if others have the same problem.
If so, can someone post u-boot log to check what the problem is?

Write with etcher
Copy dtb file to LibreELEC partition and rename /extlinux/*.txt file inside to rk3399-rock-pi-4.dtb to point to this dtb.

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

It seems the problem was with u-boot, switched back to an older one.
Posted the new LE in my original thread.