dodsonmg's repositories
cheribuild
Easily build and run CHERI related projects
cyclonedds
Eclipse Cyclone DDS project
dailyoffice2019
This project is used to build the website https://www.dailyoffice2019.com. The site invites you to join with Christians around the world in praying with the Church, at any time or in any place you may find yourself. It makes it easy to pray daily morning, midday, evening, and compline (bedtime) prayer without flipping pages, searching for scripture readings or calendars, or interpreting rubrics. The prayers are presented from The Book of Common Prayer (2019) of the Anglican Church in North America and reflect the ancient patterns of daily prayer Christians have used since the earliest days of the church.
docker-gs-ping
A simple Go server example for Docker's "Getting Started with Docker and Go".
docker.github.io
Source repo for Docker's Documentation
Fast-CDR
eProsima FastCDR library provides two serialization mechanisms. One is the standard CDR serialization mechanism, while the other is a faster implementation of it.
Fast-RTPS
The most complete DDS - Proven: Plenty of success cases.
FreeRTOS-mirror
FreeRTOS ported to CHERI RISC-V
HeyRickover
Fun Project
libmacaroons
Macaroons are flexible authorization credentials that support decentralized delegation, attenuation, and verification.
libmodbus
A Modbus library for Linux, Mac OS X, FreeBSD, QNX and Windows
macaroons
testing macaroons with ros2
modcap
capabilities for libmodbus
nix-linux
Framework for configuring and building Linux and U-Boot using Nixpkgs
rcutils
Common C functions and data structures used in ROS 2
realtime_support
Minimal real-time testing utility for measuring jitter and latency.
rmw_cyclonedds
ROS2 RMW layer for Eclipse Cyclone DDS
ros2_dashing_minimal
Minimal build of ROS2 dashing C/C++ libraries for CheriBSD
vm-superio
Emulation for legacy devices
vmm-reference
A VMM implementation based of rust-vmm components