Nope, it's not. At least not entirely: https://www.rtems.org/license https://www.rtems.org/license -- and the ESA version is definitely GPL-licensed. Nothing a

Nope, it's not. At least not entirely: https://www.rtems.org/license https://www.rtems.org/license -- and the ESA version is definitely GPL-licensed. Nothing against you personally, but I would really appreciate if instead of stating a certain believe, you actually look it up and point out a source for that bit of information.