RISC-V<p>RT from DornerWorks (@DornerWorks)</p><p>We booted up a seL4 system up on <a href="https://noc.social/tags/RISCV" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RISCV</span></a> cores running on @MicrochipTech's <a href="https://noc.social/tags/PolarFireSoC" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PolarFireSoC</span></a> Icicle Kit. </p><p>This opens up a new horizon of development potential for <a href="https://noc.social/tags/aerospace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>aerospace</span></a>, <a href="https://noc.social/tags/defense" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>defense</span></a>, <a href="https://noc.social/tags/industrial" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>industrial</span></a> &amp; <a href="https://noc.social/tags/medical" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>medical</span></a> innovation. </p><p>Here's how it works.</p><p><a href="https://noc.social/tags/RISCV" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>RISCV</span></a> <a href="https://noc.social/tags/seL4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>seL4</span></a> <a href="https://noc.social/tags/PolarFire" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>PolarFire</span></a> <a href="https://noc.social/tags/HighAssurance" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#<span>HighAssurance</span></a></p><p>[Video embedded in original tweet]</p><p>Original tweet : <a href="https://twitter.com/DornerWorks/status/1555239693272465409" rel="nofollow noopener noreferrer" target="_blank"><span class="invisible">https://</span><span class="ellipsis">twitter.com/DornerWorks/status</span><span class="invisible">/1555239693272465409</span></a></p>