FreeOSEK is licensed as GPL v3 with link exception.

This means that FreeOSEK is free and open source conform GPL v3

But thanks the link exception you can link your code together with FreeOSEK and provide your code with any other type of licensing (open or privative). In this way you can use FreeOSEK for commercial purposes without having to provide your software as GPL.