pok-kernel / pokLinks
POK kernel. Safe and secure for safety-critical systems.
☆104Updated 3 weeks ago
Alternatives and similar repositories for pok
Users that are interested in pok are comparing it to the libraries listed below
Sorting:
- aarch64 bare metal test on qemu☆108Updated 10 years ago
- ☆110Updated 6 years ago
- OS support for 64 bit ARM architecture☆53Updated 7 years ago
- The Schedulability Test Collection And Toolkit☆39Updated 4 years ago
- The development version of the L4Re Microkernel☆140Updated 2 weeks ago
- The core components of the L4Re operating system.☆92Updated 2 weeks ago
- mirror of git://git.code.sf.net/p/monartis/openqnx☆268Updated 9 years ago
- Bao, a Lightweight Static Partitioning Hypervisor☆447Updated this week
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆270Updated 3 weeks ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated last month
- ☆17Updated last year
- bare metal ARM examples to be run with qemu-system-arm☆75Updated 6 years ago
- Phoenix-RTOS microkernel repository☆146Updated this week
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆17Updated 2 years ago
- Flexible Virtualization Solution for Embedded System☆256Updated last year
- Microkernel-based system for heterogeneous manycores☆109Updated 4 years ago
- TACLe Benchmarks☆50Updated 9 months ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆293Updated this week
- Device trees used by QEMU to describe the hardware☆52Updated 2 weeks ago
- A component-based OS☆190Updated 6 months ago
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆71Updated last month
- RISC-V port of newlib☆100Updated 3 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 4 years ago
- Codezero Microkernel☆111Updated 3 years ago
- Xvisor: eXtensible Versatile hypervISOR☆588Updated last week
- ☆268Updated 7 years ago
- An abstraction layer across RTOS, baremetal, and user-space Linux environments☆325Updated last month
- aVisor: A Tiny Hypervisor for Raspberry Pi☆34Updated 2 years ago
- Cally, a C project call graph generator using GCC's generated Register Transfer Language (RTL) files☆196Updated last year
- Tutorials for working with seL4 and/or CAmkES.☆55Updated last month