Alternatives and similar repositories for arinc653model

Users that are interested in arinc653model are comparing it to the libraries listed below

• AdaCore / qemu
  ☆12Updated last month
• RTEMS / rtems-tools
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools
  ☆33Updated 3 weeks ago
• adubey14 / arinc653emulator
  This code base contains a linux emulator for the ARINC-653 operating system services
  ☆19Updated 5 years ago
• gchamp20 / RTOSBench
  ☆17Updated last year
• lfarcaro / ARINC653_ARMV7A_AM335X
  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 / pok
  POK kernel. Safe and secure for safety-critical systems.
  ☆102Updated 2 weeks ago
• kernkonzept / manifest
  The main L4Re manifest to checkout the L4Re operating system.
  ☆20Updated 2 months ago
• RTEMS / rtems-libbsd
  Mirror only see https://gitlab.rtems.org/rtems/pkg/rtems-libbsd
  ☆34Updated last week
• ARISSIM / ARISS
  An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)
  ☆18Updated 8 years ago
• clrkwllms / rt-linux
  The Realtime Linux tree
  ☆45Updated 7 years ago
• elisa-tech / Safety_Architecture_WG
  Repository to store the code developed in the context of the Safety Architecture WG
  ☆17Updated 7 months ago
• heechul / palloc
  DRAM Bank-Aware Kernel Memory Allocator
  ☆42Updated 4 months ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 3 years ago
• kmrov / racehound
  Data race detector for Linux kernel modules
  ☆30Updated 7 years ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆31Updated 2 weeks ago
• rtmux / rtmux
  A lightweight para-virtualization layer to provide real-time environments for Linux/ARM.
  ☆46Updated 10 years ago
• siemens / freertos-cell
  FreeRTOS for Jailhouse Cells
  ☆50Updated 2 years ago
• virtualopensystems / vfio-host-test
  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
• RTEMS / rtems-source-builder
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-source-builder
  ☆39Updated last week
• projectacrn / acrn-unit-test
  Unit test for ACRN, including unit test cases for hypervisor and device model.
  ☆12Updated 2 years ago
• TriDis / llvm-tricore
  LLVM Compiler Infrastructure with TriCore backend
  ☆30Updated last year
• OpenAADL / polyorb-hi-c
  PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS
  ☆13Updated 2 years ago
• lfd / XtratuM
  XtratuM Mirror
  ☆16Updated 8 years ago
• RapidIO / kernel-rapidio
  Kernel for RapidIO
  ☆35Updated 5 years ago
• paulmckrcu / litmus
  Automatically generated litmus tests for validation LISA-language Linux-kernel memory models
  ☆24Updated last month
• zhiyisun / enable_arm_pmu
  Enable user-mode access to ARMv7/Linux performance counters
  ☆42Updated 8 years ago
• GaloisInc / FreeRTOS-Xen
  FreeRTOS 7.6.0 ported to run as a Xen guest on ARM systems.
  ☆46Updated 5 years ago
• omnetpp-models / afdx
  Avionics Full-Duplex Switched Ethernet model for OMNeT++
  ☆14Updated 7 years ago
• toppers / safeg-auto
  Hypervisor for Automotive Control Systems
  ☆8Updated 4 months ago
• riscvarchive / riscv-edk2-platforms
  Port of EDK2 implementation of UEFI to RISC-V. See documentation at:
  ☆18Updated 3 years ago