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.