A simulator (Gem5 + NVMain2.0) for NVM

ROS & Gazebo project for 1/10th scale self-driving race cars

Firmware for Pinetime smartwatch written in C++ and based on FreeRTOS

TL2cgen (TreeLite 2 C GENerator) is a model compiler for decision tree models

Software sandbox for storage of sensitive information in memory.

Examples of DPU programs using the UPMEM DPU SDK

The souce code for resource synchronization protocols verification on RTEMS using Frama-C

Vim plugin for intensely nerdy commenting powers

Supplementary source code for the ECRTS 2022 paper 'Unikernel-Based Real-Time Virtualization under Deferrable Servers: Analysis and Realization'

Autonomous Navigation Framework

Autonomous Navigation Framework

Hummingbird compiles trained ML models into tensor computation for faster inference.

Mirror only see https://gitlab.rtems.org/rtems/tools/rtems-tools

DRS

AirPlay Unix mirroring server

ROS & Gazebo project for 1/10th scale self-driving race cars

POSIX based FreeRTOS emulator with SDL2 graphics interface and multiple async communications interfaces, aiming to make it possible to teach FreeRTOS without embedded hardware using similar processes

'Classic' FreeRTOS distribution. Started as Git clone of FreeRTOS SourceForge SVN repo. Submodules the kernel.

Simulation of Simultaneous Progressing Network-On-Chip Protocols

Simulator of multiprocessor real-time scheduling

A tool for integrating Git with Patchwork, the web-based patch tracking system

NVMM emulator on ZC706 board

A port of FreeRTOS to the raspberry pi 2B. With USB+Ethernet+TCP/IP.

系統程式 - 從 nand2tetris 入門

Cross compiling toolchains in Docker images

A collection of small bash scripts for heavy terminal users