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?