* platforms.inc (CONFIGS): Enable mOS builds
* platforms.inc (CONFIGS): Enable mOS builds

kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa,kalray/odp-mppa