Raspberry Pi port, piCore-15.0 is available!
*.a *.h *.la *.m4 *.pc -> dev extension (after --strip-debug)