phoenix-rtos / phoenix-rtos-doc
☆11Updated this week
Alternatives and similar repositories for phoenix-rtos-doc:
Users that are interested in phoenix-rtos-doc are comparing it to the libraries listed below
- A minimal 64-bit operating system for x86-64☆9Updated last year
- openCONFIGURATOR 2.X core library☆11Updated 6 years ago
- A Linux kernel with Intel Galileo Gen2 patches and binary tools☆15Updated 9 years ago
- Fork of newlib☆10Updated 2 years ago
- Fork of kconfig-frontends project with some modifications for use with ESP-IDF☆16Updated 5 years ago
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Updated 2 years ago
- MDX — A BSD-style RTOS☆26Updated this week
- Advanced QT app for openPOWERLINK v2.x☆9Updated 10 years ago
- Unit test for ACRN, including unit test cases for hypervisor and device model.☆12Updated 2 years ago
- BabbleSim base/common components. Any BabbleSim user will want some of these.☆14Updated last month
- ☆20Updated 12 years ago
- A SM^2 (smart and small) OS for IoT.☆30Updated 4 years ago
- This implementation of file system is developed by ELM Chan☆14Updated last month
- Apache NuttX RTOS in the Web Browser: TinyEMU with VirtIO☆21Updated last year
- Git Mirror of Yann Morin's kconfig-frontends project☆19Updated 11 years ago
- Experimental breakout board for a signle 200-ball WFBGA LPDDR4 chip in SO-DIMM DDR4 form factor.☆13Updated last year
- XtratuM Mirror☆15Updated 7 years ago
- Phoenix-RTOS device drivers repository☆21Updated this week
- Lossless compressor for PC / decompressor for system with limited resources☆9Updated last month
- A library of DSP functions for SDR, developed for XTRX SDR☆13Updated 2 years ago
- Many Threads Operating System☆18Updated 2 years ago
- framework for a simple user space for lk☆23Updated 2 years ago
- Debian12 Boot Image (U-boot, Linux Kernel, Debian12 RootFS) for ZYBO/ZYBO-Z7/PYNQ-Z1/DE10-Nano/DE0-Nano-SoC☆13Updated 6 months ago
- gdb server using the DAP protocol (Debug Adapter Protocol)☆18Updated 3 months ago
- The seL4 microkernel☆26Updated last year
- Mini PCI Express GPS module☆10Updated 3 years ago
- Tiny Tapeout 8☆12Updated 2 months ago
- Linux Kernel configuration tools - Windows Port☆21Updated 11 years ago
- ☆12Updated 6 months ago
- OpenVG API and Extension Registry.☆13Updated 3 years ago