David P. Reed's repositories
Code
Arduino library for Programmable-Air
dps8m
A simulator for the Multics dps-8/m mainframe
rst-cheatsheet
A two-page cheatsheet for restructured text
tsc_freq_khz
Linux kernel driver to export the TSC frequency via sysfs
kgdboe
A network interface for GDB for Linux Kernel
c2hs
c2hs is a pre-processor for Haskell FFI bindings to C libraries
speedometer-pwa
A tiny no-frills speedometer progressive web app based on Geolocation API, AmbientLightSensor API, and WakeLock API.
ics
iCalendar (ics) file generator for node.js
c-efi
UEFI Reference Specification Protocol Constants and Definitions
images
Pre-built XTRX packages and firmware images
gapbs
GAP Benchmark Suite
sdrangel
SDR Rx/Tx software for Airspy, BladeRF, HackRF, LimeSDR, PlutoSDR, RTL-SDR, SDRplay RSP1 and FunCube
ksm
A fast, hackable and simple x64 VT-x hypervisor for Windows and Linux. Builtin userspace sandbox and introspection engine.
freedom-u-sdk
Freedom Unleashed Software Development Kit
buildroot
Fork of Buildroot, for producing embedded Linux images. NOTE: this tree is rebased
PICS
Pi Improved Camera Streaming is a super lightweight hardware accelerated MJPEG Streaming Server for the Raspberry Pi.
solo5
The Solo5 unikernel
zenburn
Fork of Zenburn theme for emacs
vmlaunch
Simple Driver code for vmlaunch
language-c
git mirror of language-c darcs repo at http://code.haskell.org/language-c
nodejs-webcam-streaming
Streaming a webcam over http with node.js
nocache
minimize caching effects
9p-rfc
RFC and standards documents relating the 9P protocol (and its extensions and applications)
2FA-Demo
A basic NodeJS/ExpressJS app that uses 2FA with both Google TOTP and Fido U2F
gnu-efi
My gnu-efi development tree.
BareMetal-kernel
A very minimal, resource efficient exo-kernel
Pure64
Pure64 is a 64-bit software loader initially created for BareMetal OS. The loader gets the computer into a full 64-bit state with no legacy compatibility layers and also enables all available CPU Cores in the computer. If you need a quick way to boot a 64-bit AMD/Intel based computer that will enable all available processors and load your software then Pure64 is ideal. Pure64 keeps an information table in memory that stores important details about the computer (Amount of RAM and memory layout, number of CPU cores and their APIC IDs, etc). The Pure64 loader has been released separately so others can use it in their own software projects.
ljes
LjES : 3D framework for LuaJIT on Raspberry Pi
http-parser
http request/response parser for c