pok-kernel / pok
POK kernel. Safe and secure for safety-critical systems.
☆94Updated last month
Related projects ⓘ
Alternatives and complementary repositories for pok
- ☆96Updated 5 years ago
- The Schedulability Test Collection And Toolkit☆38Updated 4 years ago
- Device trees used by QEMU to describe the hardware☆44Updated last week
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆18Updated last year
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated this week
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆245Updated last week
- aarch64 bare metal test on qemu☆92Updated 9 years ago
- The Realtime Linux tree☆44Updated 6 years ago
- A guide on how to build and use a set of Bao guest configurations for various platforms☆35Updated last month
- The development version of the L4Re Microkernel☆107Updated 3 weeks ago
- An abstraction layer across RTOS, baremetal, and user-space Linux environments☆263Updated 2 weeks ago
- The core components of the L4Re operating system.☆76Updated 3 weeks ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆79Updated 6 years ago
- Flexible Virtualization Solution for Embedded System☆247Updated 9 months ago
- ☆13Updated 6 months ago
- The LITMUS^RT kernel.☆48Updated 3 years ago
- OS support for 64 bit ARM architecture☆45Updated 6 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆30Updated last year
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆31Updated this week
- OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…☆237Updated 2 weeks ago
- Kernel tree for ACRN☆94Updated 3 months ago
- Bao, a Lightweight Static Partitioning Hypervisor☆379Updated this week
- Linux KVM RISC-V repo☆49Updated this week
- Phoenix-RTOS microkernel repository☆114Updated this week
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated 6 months ago
- Tutorials for working with seL4 and/or CAmkES.☆52Updated last month
- RISC-V port of newlib☆95Updated 2 years ago
- a Rust Hypervisor for mission-critical system☆35Updated last week
- Jailhouse demonstration and testing images☆57Updated 9 months ago
- Historical versions of Reinhold P. Weicker's Dhrystone benchmark☆131Updated 12 years ago