RTEMS Discord Server

RTEMS now has a Discord server (https://discord.gg/ht6rxwM9vU). Feel free to drop by and chat.