pok-kernel / pok
POK kernel. Safe and secure for safety-critical systems.
☆98Updated this week
Alternatives and similar repositories for pok:
Users that are interested in pok are comparing it to the libraries listed below
- The Schedulability Test Collection And Toolkit☆38Updated 4 years ago
- ☆15Updated 10 months ago
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆18Updated last year
- aarch64 bare metal test on qemu☆98Updated 10 years ago
- The core components of the L4Re operating system.☆85Updated last week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆52Updated this week
- The development version of the L4Re Microkernel☆116Updated last week
- The main L4Re manifest to checkout the L4Re operating system.☆20Updated 2 weeks ago
- ☆102Updated 6 years ago
- Device trees used by QEMU to describe the hardware☆48Updated 3 months ago
- OS support for 64 bit ARM architecture☆49Updated 6 years ago
- Linux KVM RISC-V repo☆56Updated last week
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆33Updated 2 weeks ago
- RISC-V port of newlib☆96Updated 3 years ago
- Jailhouse demonstration and testing images☆59Updated last year
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 8 years ago
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆251Updated 2 months ago
- Yocto/OE meta layer to add OpenAMP support to your BSP or distro☆51Updated 7 months ago
- FreeRTOS for Jailhouse Cells☆49Updated 2 years ago
- Documentation of the RISC-V C API☆76Updated last month
- The Realtime Linux tree☆45Updated 6 years ago
- XtratuM Mirror☆15Updated 7 years ago
- The LITMUS^RT kernel.☆48Updated 4 years ago
- Simple machine mode program to probe RISC-V control and status registers☆118Updated last year
- An abstraction layer across RTOS, baremetal, and user-space Linux environments☆314Updated last month
- Codezero Microkernel☆107Updated 3 years ago
- sel4 benchmarking applications and support library.☆20Updated 2 weeks ago
- A port of FreeRTOS for the RISC-V ISA☆75Updated 5 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆34Updated 2 weeks ago