gerrit.cesnet.cz / github / trini / u-boot / 761ca31e47e483a0c0c66894ead1a2d0db37b314 / board / avionic-design / plutux