RTEMS Discord Server

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