Raspberry Pi port, piCore-16.0 is available!
tc@box:~$ gitgit: error while loading shared libraries: libpcre2-8.so.0: cannot open shared object file: No such file or directory