ChibiOS Free Embedded RTOS

Is there an IRC channel where we can directly talk to ?

Hi,

I just discovered your ChibiOS port to Tiva C.
I am very interested by Chibi OS, and as I only own Tiva C boards, your work is greatly appreciated

I will definitely make some tests and return you feedback.

Thanks again !