CoreElec vero 4k

How to install or what to choose from device tree.
Would Elec be faster then Osmc when using Vero4k . Thx

Vero4K would be gxl_p212_2g and
Vero4K+ would be gxl_p231_2g

Would coreelec be faster then osmc.

No, it would be mostly the same.

hi,

I would like to use CE on my Vero 4k+. I used gxl_p231_2g dtb, but the ethernet doesn’t work (because it is custom on the 4k+ I think).

then I used the dtb that ships with osmc, it boots and ethernet works, but I get a notification of unsupported dtb, which is expected.

can someone guide me as how to make a correct dtb for a Vero 4k+?

thank you!

(also: boot screen is garbled, which I don’t care too much about but would still like to correct if possible)

May I ask why you want to use CE on a device that has Linux support by the Vendor?
Or just testing?

Librespot, actually. Can’t get it to work properly on osmc, whereas it works perfectly right out of the box on CE.