(In reply to Matthias Brugger from comment #19) > Any update on this, Freek? Or did you lost interest in the issue? I only found a source rpm of u-boot in: baseurl=https://download.opensuse.org/repositories/home:/mbrugger:/bsc849610/openSUSE_Tumbleweed/ and u-boot-rpiarm64 installed from: baseurl=http://download.opensuse.org/ports/aarch64/tumbleweed/repo/oss/ So where do I find the u-boot rpm package you build?