RT from DornerWorks (@DornerWorks)

We booted up a seL4 system up on #RISCV cores running on @MicrochipTech's #PolarFireSoC Icicle Kit.

This opens up a new horizon of development potential for #aerospace, #defense, #industrial & #medical innovation.

Here's how it works.

#RISCV #seL4 #PolarFire #HighAssurance

[Video embedded in original tweet]

Original tweet : https://twitter.com/DornerWorks/status/1555239693272465409

DornerWorks on Twitter

“We booted up a seL4 system up on #RISCV cores running on @MicrochipTech's #PolarFireSoC Icicle Kit. This opens up a new horizon of development potential for #aerospace, #defense, #industrial & #medical innovation. Here's how it works. #RISCV #seL4 #PolarFire #HighAssurance”

Twitter