pok-kernel / pok
POK kernel. Safe and secure for safety-critical systems.
☆100Updated 3 weeks ago
Alternatives and similar repositories for pok:
Users that are interested in pok are comparing it to the libraries listed below
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆18Updated last year
- ☆103Updated 6 years ago
- Device trees used by QEMU to describe the hardware☆50Updated 3 weeks ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆53Updated 3 weeks ago
- OS support for 64 bit ARM architecture☆49Updated 6 years ago
- Tutorials for working with seL4 and/or CAmkES.☆54Updated last month
- The Schedulability Test Collection And Toolkit☆39Updated 4 years ago
- aarch64 bare metal test on qemu☆98Updated 10 years ago
- The core components of the L4Re operating system.☆85Updated last week
- The development version of the L4Re Microkernel☆120Updated last week
- ☆16Updated 11 months ago
- Flexible Virtualization Solution for Embedded System☆255Updated last year
- RISC-V backports for binutils-gdb. Development is done upstream at the FSF.☆149Updated 2 years ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 8 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- bare metal ARM examples to be run with qemu-system-arm☆71Updated 6 years ago
- RISC-V Profiles and Platform Specification☆113Updated last year
- The LITMUS^RT kernel.☆49Updated 4 years ago
- RT-Hypervisor: A real-time hypervisor for automotive embedded system☆12Updated 2 years ago
- FreeRTOS for Jailhouse Cells☆49Updated 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…☆243Updated 8 months ago
- A port of FreeRTOS to the ARM 929EJ-S Versatile Platform Baseboard☆92Updated last year
- Raspberry Pi bare metal code for qemu raspi2 and raspi3.☆52Updated 3 years ago
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆62Updated 3 weeks ago
- Historical versions of Reinhold P. Weicker's Dhrystone benchmark☆136Updated 12 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 6 years ago
- 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…☆261Updated 2 weeks ago
- RISC-V port of newlib☆96Updated 3 years ago
- Yocto/OE meta layer to add OpenAMP support to your BSP or distro☆51Updated 8 months ago
- Bao, a Lightweight Static Partitioning Hypervisor☆416Updated 3 weeks ago