gerrit.cesnet.cz / github / trini / u-boot / 875bc40a00f92cd9b5882eaed57a5a3c361328d2 / board / turing / turing-rk1-rk3588