pok-kernel / pok
POK kernel. Safe and secure for safety-critical systems.
☆93Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for pok
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆16Updated last year
- Device trees used by QEMU to describe the hardware☆43Updated this week
- The Schedulability Test Collection And Toolkit☆38Updated 4 years ago
- ☆13Updated 6 months ago
- ☆95Updated 5 years ago
- aarch64 bare metal test on qemu☆92Updated 9 years ago
- The core components of the L4Re operating system.☆75Updated last week
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆78Updated 6 years ago
- OS support for 64 bit ARM architecture☆45Updated 6 years ago
- Jailhouse demonstration and testing images☆57Updated 8 months ago
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆17Updated 7 years ago
- An abstraction layer across RTOS, baremetal, and user-space Linux environments☆262Updated this week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated 2 months ago
- The development version of the L4Re Microkernel☆105Updated last week
- Compound Real-time Operating System☆19Updated 4 years ago
- Linux KVM RISC-V repo☆49Updated this week
- Flexible Virtualization Solution for Embedded System☆247Updated 8 months ago
- The main L4Re manifest to checkout the L4Re operating system.☆19Updated 2 months ago
- Virtual Machine built as a CAmkES component.☆23Updated 4 months ago
- RISC-V port of newlib☆95Updated 2 years ago
- Yocto/OE meta layer to add OpenAMP support to your BSP or distro☆51Updated 2 months ago
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆243Updated this week
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 7 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆30Updated last year
- bare metal ARM examples to be run with qemu-system-arm☆66Updated 5 years ago
- a theoretically sound real-time scheduling latency measurement tool☆32Updated 3 years ago
- ☆37Updated 2 years ago
- This System Control Processor (SCP) firmware repository is no longer used and has been set to Read-only for archiving purposes. Please re…☆237Updated 2 months ago
- RISC-V Profiles and Platform Specification☆112Updated last year
- Phoenix-RTOS microkernel repository☆114Updated this week