Portable C libraries to use Fr5739 LaunchPad