LVPGroup / arinc653model
A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)
☆9Updated 7 years ago
Related projects: ⓘ
- a theoretically sound real-time scheduling latency measurement tool☆31Updated 3 years ago
- ☆12Updated 3 weeks ago
- Data race detector for Linux kernel modules☆28Updated 7 years ago
- Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes an…☆9Updated 2 weeks ago
- Test suite for seL4.☆24Updated last month
- The Realtime Linux tree☆42Updated 6 years ago
- Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd☆31Updated this week
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools☆32Updated 2 weeks ago
- The main L4Re manifest to checkout the L4Re operating system.☆19Updated 2 weeks ago
- PRTOS Hypervisor is a lightweight, open-source embedded hypervisor☆25Updated last month
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆10Updated last year
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆17Updated 7 years ago
- This code base contains a linux emulator for the ARINC-653 operating system services☆15Updated 5 years ago
- FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.☆45Updated 5 years ago
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆15Updated last year
- ☆13Updated 4 months ago
- DRAM Bank-Aware Kernel Memory Allocator☆39Updated 4 months ago
- POK kernel. Safe and secure for safety-critical systems.☆89Updated 2 weeks ago
- Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder☆39Updated this week
- Basic tools for building seL4 projects☆42Updated last month
- FreeRTOS for Jailhouse Cells☆47Updated last year
- Intermals_of_Linux_device_driver☆24Updated 6 years ago
- Standalone kconfig and kbuild☆52Updated last year
- Collection of Linux tools for achieving real-time performance☆32Updated last year
- Memory Bandwidth Reservation System for Efficient Performance Isolation in Multi-core Processors☆49Updated 4 months ago
- The project contains some libraries, which are the examples used by the blogs of "www.wowotech.net"☆53Updated 3 years ago
- Strip out unused #ifdef blocks from the source tree, making it simpler and even compilable☆18Updated 6 years ago
- No-assurance libraries for rapid-prototyping of seL4 apps.☆51Updated last week
- jitterdebugger - real time response messaurement tool☆29Updated 3 months ago
- ☆8Updated this week