Hi there mohamed_fawzy, please do not ask the same question many times in different topics Anyway, RIOT (http://www.riot-os.org) is interesting, give it a try!
i am very very sorry for repeating my question in different topics for riot , i need RTOS for IMX6Q not Arduino part so RIOT will be useful for IMX6Q ?