toggle menu
Solutions
Virtuosity XZD
Virtuosity OA
seL4 microkernel
Hardware-Based Acceleration
High-Speed Video
Synchronized Networking
Digital Signal Processing
Product Development
IoT Solutions
Medical Solutions
Results
Aerospace & Defense
Automotive
Consumer
Industrial
Medical
Blog
Careers
About
Partners
Leadership
Resource Library
Schedule a Meeting
Blog
Home
/
Blog
/
microkernel
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
Accelerate Secure Software Solutions Using Preconfigured seL4 Packages
Posted on September 1, 2020 by Matthew Russell
Tags:
Avnet
,
microkernel
,
seL4
,
VM
,
Xilinx
Strengthen Your seL4 Userspace Code with Rust
Posted on November 26, 2019 by Jesse Millwood
Tags:
linux
,
microkernel
,
rust
,
security
,
seL4
,
software
,
userspace
Using Renode To Build Secure Products On The seL4 Microkernel and RISC-V Architecture
Posted on November 26, 2019 by Matthew Russell
Tags:
linux
,
microkernel
,
renode
,
riscv
,
seL4
An Introduction To Building Secure Systems with the seL4 Microkernel
Posted on November 26, 2019 by Robert VanVossen
Tags:
linux
,
microkernel
,
security
,
seL4
Explore More
Most Used Tags
IoT
virtualization
FPGA
productDevelopment
seL4
security
software
Xilinx
linux
opensource
medical
hypervisor
MPSoC
SoC
Microchip
View All
Solutions
Virtuosity XZD
Virtuosity OA
seL4 microkernel
Hardware-Based Acceleration
High-Speed Video
Synchronized Networking
Digital Signal Processing
Product Development
IoT Solutions
Medical Solutions
Results
Aerospace & Defense
Automotive
Consumer
Industrial
Medical
Blog
Careers
About
Partners
Leadership
Resource Library
Schedule a Meeting