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.

Attachment: pikeos.diff
Description: Binary data


_______________________________________________
config-patches mailing list
config-patches@gnu.org
https://lists.gnu.org/mailman/listinfo/config-patches

Reply via email to