pok-kernel / pokLinks
POK kernel. Safe and secure for safety-critical systems.
☆102Updated 2 weeks ago
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☆39Updated 4 years ago
- ☆17Updated last year
- ☆105Updated 6 years ago
- aarch64 bare metal test on qemu☆100Updated 10 years ago
- bare metal ARM examples to be run with qemu-system-arm☆72Updated 6 years ago
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆17Updated last year
- Device trees used by QEMU to describe the hardware☆50Updated last week
- No-assurance libraries for rapid-prototyping of seL4 apps.☆55Updated last week
- Linux KVM RISC-V repo☆58Updated last week
- The development version of the L4Re Microkernel☆132Updated 2 weeks ago
- The LITMUS^RT kernel.☆49Updated 4 years ago
- OS support for 64 bit ARM architecture☆50Updated 6 years ago
- LTZVisor: a Lightweight TrustZone-assisted Hypervisor☆80Updated 7 years ago
- TACLe Benchmarks☆46Updated 7 months ago
- XtratuM Mirror☆16Updated 8 years ago
- The core components of the L4Re operating system.☆88Updated 2 weeks ago
- RISC-V port of newlib☆98Updated 3 years ago
- Documentation of the RISC-V C API☆76Updated this week
- aVisor: A Tiny Hypervisor for Raspberry Pi☆34Updated last year
- MultiZone® Security TEE is the quick and safe way to add security and separation to any RISC-V processors. The RISC-V standard ISA doesn'…☆85Updated last year
- Microkit - A simple operating system framework for the seL4 microkernel☆120Updated last week
- Yocto/OE meta layer to add OpenAMP support to your BSP or distro☆51Updated 9 months ago
- Tutorials for working with seL4 and/or CAmkES.☆55Updated last month
- Advanced examples of Linux Device Drivers (LDD3) and detailed manual for running examples in QEMU which is patched with virtual PCI, USB,…☆486Updated 2 months ago
- Flexible Virtualization Solution for Embedded System☆256Updated last year
- CoreSight trace stream decoder developed openly☆160Updated 3 months ago
- sel4 benchmarking applications and support library.☆20Updated last week
- Jailhouse demonstration and testing images☆60Updated last year
- Xilinx's fork of Quick EMUlator (QEMU) with improved support and modelling for the Xilinx platforms.☆261Updated last week
- FreeRTOS for Jailhouse Cells☆50Updated 2 years ago