Alternatives and similar repositories for arinc653model:

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

• lfarcaro / ARINC653_ARMV7A_AM335X
  Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …
  ☆18Updated last year
• gchamp20 / RTOSBench
  ☆14Updated 8 months ago
• adubey14 / arinc653emulator
  This code base contains a linux emulator for the ARINC-653 operating system services
  ☆19Updated 5 years ago
• OpenEneaLinux / rt-tools
  Collection of Linux tools for achieving real-time performance
  ☆33Updated last year
• kernkonzept / manifest
  The main L4Re manifest to checkout the L4Re operating system.
  ☆19Updated 3 weeks ago
• prtos-project / prtos-hypervisor
  PRTOS Hypervisor is a lightweight, open-source embedded hypervisor
  ☆54Updated 2 weeks ago
• clrkwllms / rt-linux
  The Realtime Linux tree
  ☆44Updated 6 years ago
• wowotech / wowolib
  The project contains some libraries, which are the examples used by the blogs of "www.wowotech.net"
  ☆54Updated 4 years ago
• elisa-tech / wg-osep
  The Open-Source Engineering Process WG examines how software engineering processes can be used to facilitate the certification of safety-…
  ☆12Updated this week
• pok-kernel / pok
  POK kernel. Safe and secure for safety-critical systems.
  ☆94Updated 2 weeks ago
• seL4 / sel4test
  Test suite for seL4.
  ☆25Updated 2 months ago
• kernkonzept / uvmm
  Virtual machine monitor for L4Re
  ☆28Updated last week
• tzvisor / ltzvisor
  LTZVisor: a Lightweight TrustZone-assisted Hypervisor
  ☆80Updated 6 years ago
• projectacrn / acrn-unit-test
  Unit test for ACRN, including unit test cases for hypervisor and device model.
  ☆11Updated 2 years ago
• bristot / rtsl
  a theoretically sound real-time scheduling latency measurement tool
  ☆33Updated 3 years ago
• seL4 / refos
  Prototype no-assurance reference OS personality built on seL4
  ☆49Updated 3 years ago
• seL4 / seL4_tools
  Basic tools for building seL4 projects
  ☆46Updated 5 months ago
• RTEMS / rtems-tools
  Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools
  ☆33Updated this week
• rtmux / rtmux
  A lightweight para-virtualization layer to provide real-time environments for Linux/ARM.
  ☆46Updated 10 years ago
• toppers / safeg-auto
  Hypervisor for Automotive Control Systems
  ☆9Updated 2 weeks ago
• qemu / u-boot
  Mirror of git.qemu.org/u-boot.git
  ☆60Updated last year
• calinyara / avisor
  aVisor: A Tiny Hypervisor for Raspberry Pi
  ☆31Updated last year
• pengdonglin137 / remap_pfn_demo
  ☆32Updated last year
• elisa-tech / wg-lfscs
  Linux Features for Safety-Critical Systems (LFSCS) to support ELISA charter to define and maintain a common set of elements, processes an…
  ☆9Updated 2 months ago
• heechul / palloc
  DRAM Bank-Aware Kernel Memory Allocator
  ☆42Updated 3 weeks ago
• omapconf / omapconf
  OMAPCONF: Texas Instruments OMAP Processors Diagnostic Tool
  ☆55Updated 3 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…
  ☆12Updated 2 years ago
• siemens / freertos-cell
  FreeRTOS for Jailhouse Cells
  ☆48Updated last year
• LucidaLi / Intermals_of_Linux_device_driver
  Intermals_of_Linux_device_driver
  ☆25Updated 6 years ago
• RapidIO / kernel-rapidio
  Kernel for RapidIO
  ☆33Updated 4 years ago