pok-kernel / pokLinks
POK kernel. Safe and secure for safety-critical systems.
☆112Updated last week
Alternatives and similar repositories for pok
Users that are interested in pok are comparing it to the libraries listed below
Sorting:
- The Schedulability Test Collection And Toolkit☆40Updated 5 years ago
- ☆111Updated 6 years ago
- Bao, a Lightweight Static Partitioning Hypervisor☆466Updated this week
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆277Updated last week
- The development version of the L4Re Microkernel☆146Updated this week
- Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems☆708Updated this week
- ☆18Updated last year
- Flexible Virtualization Solution for Embedded System☆262Updated last year
- aarch64 bare metal test on qemu☆109Updated 10 years ago
- An abstraction layer across RTOS, baremetal, and user-space Linux environments☆330Updated 3 weeks ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆56Updated 4 months ago
- Tutorials for working with seL4 and/or CAmkES.☆55Updated 4 months ago
- Device trees used by QEMU to describe the hardware☆54Updated last 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
- The main L4Re manifest to checkout the L4Re operating system.☆23Updated 2 weeks ago
- Xvisor: eXtensible Versatile hypervISOR☆593Updated last week
- Historical versions of Reinhold P. Weicker's Dhrystone benchmark☆146Updated 13 years ago
- mirror of git://git.code.sf.net/p/monartis/openqnx☆278Updated 10 years ago
- Jailhouse demonstration and testing images☆64Updated last year
- A port of FreeRTOS to the ARM 929EJ-S Versatile Platform Baseboard☆92Updated 2 years ago
- A component-based OS☆193Updated 9 months 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
- The core components of the L4Re operating system.☆95Updated last week
- Test suite for seL4.☆30Updated 3 months ago
- bare metal ARM examples to be run with qemu-system-arm☆77Updated 6 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆37Updated 2 years ago
- FreeRTOS for Jailhouse Cells☆53Updated 2 years ago
- OS support for 64 bit ARM architecture☆53Updated 7 years ago
- ☆271Updated 8 years ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆200Updated last year