RTX os with different compiler

I have read in the arm.com website that the RTX Kernel with a CMSIS-RTOS interface is available under open-source BSD license. is it possible to use it with different IDE than keil? like Tasking...
RTX Kernel and GNU compiler.

Hi all: Is possible to compile the RTX Kernel using the GNU tools? Libraries compiled with CARM are not compatible with gcc, are they? Thanks in advance and have a good day. Jorge M.
RTX os with different compiler

I have read in the arm.com website that the RTX Kernel with a CMSIS-RTOS interface is available under open-source BSD license. is it possible to use it with different IDE than keil? like Tasking...
RTX Kernel and GNU compiler.

Hi all: Is possible to compile the RTX Kernel using the GNU tools? Libraries compiled with CARM are not compatible with gcc, are they? Thanks in advance and have a good day. Jorge M.
RTX Kernel and stm32f10x_lib.h generates C++ compile error.

Building new firmware application using RTX Kernel and stm32f10x_lib.h generates error because library is not C++ compatible. Development Board: STM3210E-EVAL OS: RTX Kernel Tools: uVision4 ...