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?

More questions in this forum