toggle menu
What We Do
Products & IP
DornerWorks VM Composer
MAPS Conformance IP
Space Switch IP & Dev Kits
AVB & TSN IP
Secure Technologies
Virtualized Platform Development
FPGA Engineering
Connected Product Development
Medical Device Engineering
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Current Openings
College Students
Schedule a Meeting
Blog
Home
/
Blog
/
port
seL4 on PolarFire SOC Provides a Trusted Base for Defense, Industrial and Medical Products
Posted on September 4, 2020 by Matthew Russell
Tags:
FPGA
,
Icicle Kit
,
Microchip
,
microkernel
,
PolarFire
,
port
,
seL4
,
SoC
The Icicle Kit is putting PolarFire power into the hands of developers and the seL4 microkernel provides a trusted base for critical software components built on these devices. ...
Read more
Explore More
Most Used Tags
IoT
FPGA
virtualization
seL4
Product Development
security
software
Xilinx
medical
linux
cybersecurity
Microchip
careers
space
hardware
View All
What We Do
Products & IP
DornerWorks VM Composer
MAPS Conformance IP
Space Switch IP & Dev Kits
AVB & TSN IP
Secure Technologies
Virtualized Platform Development
FPGA Engineering
Connected Product Development
Medical Device Engineering
Who We Are
Industries We Serve
Partners
Leadership
Resource Library
Get a Job
Current Openings
College Students
Schedule a Meeting