POK kernel. Safe and secure for safety-critical systems.
☆114Jan 26, 2026Updated last month
Alternatives and similar repositories for pok
Users that are interested in pok are comparing it to the libraries listed below
Sorting:
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆18Aug 10, 2023Updated 2 years ago
- ☆14Updated this week
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆19Jan 13, 2017Updated 9 years ago
- AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL☆73Mar 23, 2022Updated 3 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆12Sep 22, 2022Updated 3 years ago
- Real-Time Operating System (RTOS) for Xilinx Zynq-7000 Cortex-A9 (ARMv7-A) multi-core SoCs (ZedBoard, PicoZed, MicroZed and similars) bas…☆14Aug 10, 2023Updated 2 years ago
- Mutation analysis tool for Coq verification projects☆29Oct 13, 2020Updated 5 years ago
- This repository isn't actively being worked on. If you would like to take over maintainership please open a ticket on https://github.com/…☆32Sep 30, 2014Updated 11 years ago
- ☆18May 7, 2024Updated last year
- ARINC 653 POSIX based library☆32Feb 9, 2026Updated 2 weeks ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- A first approach of getting a pure Ada program running on an FPGA with SaxonSOC☆11Apr 12, 2021Updated 4 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- helloworld powerpc-app on qemu-e500☆14Oct 21, 2015Updated 10 years ago
- FreeRTOS (include AWS related libraries) reference repository☆18Aug 21, 2025Updated 6 months ago
- UpScale SDK enables the development of applications with strict timing and high-performance requirements☆22Feb 5, 2024Updated 2 years ago
- Environment control for benchmarks☆14Feb 10, 2025Updated last year
- Library of AADL models☆45Nov 6, 2024Updated last year
- XtratuM Mirror☆21Apr 7, 2017Updated 8 years ago
- Ada projects for Make-with-Ada☆13Feb 18, 2026Updated last week
- A web application to inspect ReqIF files☆14Dec 21, 2025Updated 2 months ago
- Unit tests for the kernel virtual machine (KVM)☆13Jan 20, 2021Updated 5 years ago
- PolyORB provides a uniform solution to build distributed applications relying either on middleware standards☆23Feb 17, 2026Updated last week
- OpenBSD sndio Spectrogram☆17Jan 7, 2025Updated last year
- Mirror only see https://gitlab.rtems.org/rtems/rtos/rtems☆733Updated this week
- model checking samples☆17Oct 18, 2021Updated 4 years ago
- Flight stack for an unmanned fixed-wing weather glider.☆16Oct 17, 2017Updated 8 years ago
- Teaching Vectorization and SIMD using Intel Intrinsics in a Computer Organization and Architecture class☆17Feb 18, 2025Updated last year
- ☆23Mar 24, 2023Updated 2 years ago
- ROS2 for VxWorks☆22Feb 6, 2026Updated 3 weeks ago
- Building seL4 and generating Rust bindings based on feL4 configuration☆22May 31, 2018Updated 7 years ago
- runtimes that add support for various boards to the GNAT GPL compiler for ARM☆15Aug 8, 2017Updated 8 years ago
- RTOS based on L4 microkernel.☆18Sep 18, 2018Updated 7 years ago
- Xvisor: eXtensible Versatile hypervISOR☆602Feb 20, 2026Updated last week
- The core library of the Qeo Open Source Project.☆31Jul 26, 2016Updated 9 years ago
- A flight software framework in SPARK/Ada☆55Nov 17, 2025Updated 3 months ago
- Escape is a UNIX-like microkernel operating system that runs on x86, x86_64, ECO32 and MMIX.☆200Jul 23, 2025Updated 7 months ago
- Unified startup code and link scripts for Cortex-M microcontrollers☆39Dec 3, 2014Updated 11 years ago
- Simple blockchain in Ada☆22Sep 11, 2025Updated 5 months ago