<div dir="ltr">  Hi<div><br></div><div>RTEMS now has a Discord server (<a href="https://discord.gg/6SrpDfBF">https://discord.gg/6SrpDfBF</a>).</div><div><br></div><div>Feel free to drop by and chat.<br></div><div><br></div><div>--joel</div></div>