IRC channel

There seems to be a lack of an IRC channel on one of the greater IRC networks, so i started a new channel on irc.freenode.net surprisingly called #freertos I’m not saying i’m the worlds greatest expert on freeRTOS, but there should be a channel at a bare minimum ;) Join, idle, have fun, do nothing I’ll be seeing you all.