pok-kernel / pokLinks
POK kernel. Safe and secure for safety-critical systems.
☆102Updated last month
Alternatives and similar repositories for pok
Users that are interested in pok are comparing it to the libraries listed below
Sorting:
- The development version of the L4Re Microkernel☆132Updated this week
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆17Updated last year
- ☆106Updated 6 years ago
- The core components of the L4Re operating system.☆89Updated last week
- OS support for 64 bit ARM architecture☆51Updated 6 years ago
- The Schedulability Test Collection And Toolkit☆39Updated 4 years ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- ☆17Updated last year
- Device trees used by QEMU to describe the hardware☆50Updated 3 weeks ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated 3 weeks ago
- Linux KVM RISC-V repo☆58Updated this week
- Flexible Virtualization Solution for Embedded System☆255Updated last year
- The main L4Re manifest to checkout the L4Re operating system.☆20Updated last week
- aarch64 bare metal test on qemu☆103Updated 10 years ago
- Unofficial mirror of sourceware newlib repository. Updated daily.☆272Updated this week
- The LITMUS^RT kernel.☆49Updated 4 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆35Updated this week
- bare metal ARM examples to be run with qemu-system-arm☆74Updated 6 years ago
- aVisor: A Tiny Hypervisor for Raspberry Pi☆34Updated last year
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆263Updated 3 weeks ago
- XtratuM Mirror☆16Updated 8 years ago
- A guide on how to build and use a set of Bao guest configurations for various platforms☆42Updated 5 months ago
- Penglai Enclave is an open-sourced, secure and scalable TEE system for RISC-V.☆140Updated 3 months ago
- Bao, a Lightweight Static Partitioning Hypervisor☆434Updated this week
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 8 years ago
- a Rust Hypervisor for mission-critical system☆105Updated this week
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 7 years ago
- [WIP] Xv6, a simple Unix-like teaching operating system, re-implemented for ARMv8 (AArch64), written in C☆18Updated 4 years ago
- OASIS Virtual I/O Device TC: Source code for the VIRTIO (Virtual I/O) Specification maintained by the OASIS Virtual I/O Device (VIRTIO) T…☆271Updated 3 weeks ago
- Valgrind with support for the RISCV64/Linux platform.☆65Updated 10 months ago