LVPGroup / arinc653modelLinks
A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)
☆9Updated 8 years ago
Alternatives and similar repositories for arinc653model
Users that are interested in arinc653model are comparing it to the libraries listed below
Sorting:
- ☆12Updated last month
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆33Updated 3 weeks ago
- This code base contains a linux emulator for the ARINC-653 operating system services☆19Updated 5 years ago
- ☆17Updated last year
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆17Updated last year
- POK kernel. Safe and secure for safety-critical systems.☆102Updated 2 weeks ago
- The main L4Re manifest to checkout the L4Re operating system.☆20Updated 2 months ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆34Updated last week
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆18Updated 8 years ago
- The Realtime Linux tree☆45Updated 7 years ago
- Repository to store the code developed in the context of the Safety Architecture WG☆17Updated 7 months ago
- DRAM Bank-Aware Kernel Memory Allocator☆42Updated 4 months ago
- a theoretically sound real-time scheduling latency measurement tool☆33Updated 3 years ago
- Data race detector for Linux kernel modules☆30Updated 7 years ago
- Virtual machine monitor for L4Re☆31Updated 2 weeks ago
- A lightweight para-virtualization layer to provide real-time environments for Linux/ARM.☆46Updated 10 years ago
- FreeRTOS for Jailhouse Cells☆50Updated 2 years ago
- A test case for VFIO_PLATFORM currently based on the PL330 DMA controller. The effort on VFIO_PLATFORM has been partially funded by the S…☆13Updated 2 years ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder☆39Updated last week
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- LLVM Compiler Infrastructure with TriCore backend☆30Updated last year
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago
- XtratuM Mirror☆16Updated 8 years ago
- Kernel for RapidIO☆35Updated 5 years ago
- Automatically generated litmus tests for validation LISA-language Linux-kernel memory models☆24Updated last month
- Enable user-mode access to ARMv7/Linux performance counters☆42Updated 8 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆46Updated 5 years ago
- Avionics Full-Duplex Switched Ethernet model for OMNeT++☆14Updated 7 years ago
- Hypervisor for Automotive Control Systems☆8Updated 4 months ago
- Port of EDK2 implementation of UEFI to RISC-V. See documentation at:☆18Updated 3 years ago