adubey14 / arinc653emulator
This code base contains a linux emulator for the ARINC-653 operating system services
☆16Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for arinc653emulator
- Real-Time Operating System (RTOS) for Texas Instruments AM335X Sitara Cortex-A8 (ARMv7-A) single-core SoCs (BeagleBone, BeagleBone Black …☆16Updated last year
- A fork of the QEMU project, used to build the xPack QEMU ARM☆34Updated 7 months ago
- An ARINC653 kernel simulator implementing ARINC653's Communication and the Time and Space Partitioning concept (TSP)☆17Updated 7 years ago
- A complete Event-B specification of partitioning operating systems compliant with ARINC 653 (Part 1, Version 3)☆9Updated 7 years ago
- ☆32Updated last month
- OSEK (ECC1/BCC1) Implementation for Cortex™-M3☆31Updated last year
- Yocto/OE meta layer to add OpenAMP support to your BSP or distro☆51Updated 2 months ago
- ☆27Updated 5 years ago
- IEEE 1588 PTP daemon for STM32 F4 Discovery board☆73Updated 3 years ago
- Arm Trusted Firmware☆30Updated 3 months ago
- Micro C/C++ log library and logrotate command line tool☆22Updated last month
- A simplified model of programming in autosar☆62Updated 3 years ago
- This repository contains all my practice codes/projects of Hercules TMS570LC43x Development Kit. The projects are made using embedded C o…☆20Updated 7 years ago
- This repo has been ABANDONED, all code merged into https://github.com/parai/as☆64Updated 10 years ago
- A compact, reliable, high-performance TCP/IP protocol stack. Features dual IPv4 and IPv6 support, an SSL/TLS socket option, and support f…☆108Updated 8 months ago
- Linux Kernel configuration tools - Windows Port☆16Updated last year
- This repository contains FreeRTOS+POSIX source code, which could be consumed as a submodule.☆102Updated last month
- Framework für wiederverwendbare AUTOSAR Basis Software Module.☆46Updated 9 years ago
- ERIKA Enterprise v3 RTOS☆220Updated 5 years ago
- ☆19Updated 4 years ago
- ☆55Updated this week
- Lightweight event management system for embedded systems☆62Updated 3 weeks ago
- Hierarchical State Machine☆89Updated 4 years ago
- Firmware de la CIAA☆130Updated 4 years ago
- A C library to control a device via UART that responds to an AT command set (like an RN-42)☆81Updated 10 years ago
- Adding IEEE 802.11 stack on NuttX☆20Updated 10 years ago
- 基于Xilinx平台的功能安全笔记☆37Updated 5 years ago
- oe-manifest☆54Updated 3 months ago
- Jailhouse hypervisor for Nvidia Jetson TX1 and TX2☆29Updated 6 years ago
- automotive software(OSEK & AUTOSAR) and its tool-chain☆24Updated last year