pok-kernel / pokLinks
POK kernel. Safe and secure for safety-critical systems.
☆114Updated last month
Alternatives and similar repositories for pok
Users that are interested in pok are comparing it to the libraries listed below
Sorting:
- ☆113Updated 6 years ago
- The development version of the L4Re Microkernel☆148Updated this week
- aarch64 bare metal test on qemu☆109Updated 10 years ago
- The Schedulability Test Collection And Toolkit☆40Updated 5 years ago
- An abstraction layer across RTOS, baremetal, and user-space Linux environments☆330Updated this week
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆18Updated 2 years ago
- Flexible Virtualization Solution for Embedded System☆262Updated last year
- OS support for 64 bit ARM architecture☆53Updated 7 years ago
- Jailhouse demonstration and testing images☆64Updated last year
- The core components of the L4Re operating system.☆98Updated last week
- Tutorials for working with seL4 and/or CAmkES.☆57Updated 5 months ago
- Bao, a Lightweight Static Partitioning Hypervisor☆469Updated last week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆56Updated 5 months ago
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆278Updated last month
- RISC-V port of newlib☆102Updated 3 years ago
- ☆18Updated last year
- Device trees used by QEMU to describe the hardware☆55Updated last week
- Xvisor: eXtensible Versatile hypervISOR☆596Updated last month
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆76Updated 5 months ago
- The main L4Re manifest to checkout the L4Re operating system.☆23Updated last month
- Microkernel-based system for heterogeneous manycores☆113Updated 5 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆38Updated last week
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 4 years ago
- bare metal ARM examples to be run with qemu-system-arm☆77Updated 6 years ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆311Updated this week
- Phoenix-RTOS microkernel repository☆152Updated this week
- Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems☆711Updated this week
- Simple machine mode program to probe RISC-V control and status registers☆127Updated 2 years ago
- RISC-V Profiles and Platform Specification☆116Updated 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…☆255Updated last year