schaft [1] filed an orphan request for renode-bin [2]: I reached out to the maintainer but got no answer. The package still runs a basic hello world like example, but loading other boards fails so the maintainer might not have noticed the breakage. I was able to successfully install it from github directly and pass all tests. I'd like to update the package.
[1] https://aur.archlinux.org/account/schaft/ [2] https://aur.archlinux.org/pkgbase/renode-bin/
