mirror of
https://bitbucket.org/librepilot/librepilot.git
synced 2025-04-01 19:25:17 +02:00
They are not a PiOS, but 3rd party libraries. They even should not be placed to the same (PiOS) library directory due to the printf symbol clashes (if all *.c from the folder are built). So they are moved, and each target can include that one which is necessary/desired.