RTEMS Discord Server Joel Sherrill March 23, 2021RTEMS now has a Discord server (https://discord.gg/ht6rxwM9vU). Feel free to drop by and chat.