pok-kernel / pokLinks
POK kernel. Safe and secure for safety-critical systems.
☆114Updated 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
- ☆112Updated 7 years ago
- aarch64 bare metal test on qemu☆109Updated 10 years ago
- The development version of the L4Re Microkernel☆157Updated this week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆57Updated last week
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆282Updated 2 months ago
- bare metal ARM examples to be run with qemu-system-arm☆77Updated 7 years ago
- Tutorials for working with seL4 and/or CAmkES.☆59Updated 6 months ago
- An abstraction layer across RTOS, baremetal, and user-space Linux environments☆335Updated this week
- Flexible Virtualization Solution for Embedded System☆265Updated last year
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆18Updated 2 years ago
- Bao, a Lightweight Static Partitioning Hypervisor☆494Updated last week
- Jailhouse demonstration and testing images☆64Updated last year
- aVisor: A Tiny Hypervisor for Raspberry Pi☆39Updated last month
- Device trees used by QEMU to describe the hardware☆56Updated last month
- OS support for 64 bit ARM architecture☆54Updated 7 years ago
- TACLe Benchmarks☆55Updated 3 months ago
- CoreSight trace stream decoder developed openly☆176Updated 3 months ago
- Historical versions of Reinhold P. Weicker's Dhrystone benchmark☆148Updated 13 years ago
- Test suite for seL4.☆30Updated 2 months ago
- Xvisor: eXtensible Versatile hypervISOR☆601Updated 2 months ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆35Updated last week
- Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems☆727Updated this week
- ☆18Updated last year
- The main L4Re manifest to checkout the L4Re operating system.☆22Updated last week
- This System Control Processor (SCP) firmware repository is no longer used and has been set to Read-only for archiving purposes. Please re…☆256Updated last year
- libelf☆83Updated 8 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆83Updated 7 years ago
- mirror of git://git.code.sf.net/p/monartis/openqnx☆280Updated 10 years ago
- FreeRTOS for Jailhouse Cells☆53Updated 2 years ago