Hello, Pikeos is an RTOS with virtualization capabilities.
Even though there is no OS specific support for Pikeos in the current binutils or gcc sources, it is quite possible to build functional toolchains with lots of components targetting Pikeos by simply assimilating it to a bare metal target. We have been doing this for a while now, thanks to the attached patch, and we thought it might be of interest to others. OK to commit ? Thanks much in advance for your feedback, With Kind Regards, Olivier 2017-11-23 Olivier Hainque <hain...@adacore.com> * config.sub: Map -pikeos to baremetal. * testsuite/config-sub.data: Add tests for a few pikeos configuration variants.
pikeos.diff
Description: Binary data
_______________________________________________ config-patches mailing list config-patches@gnu.org https://lists.gnu.org/mailman/listinfo/config-patches