David Boddie's repositories
Acorn-Format-Tools
Python modules and tools for manipulating file formats used by Acorn 8-bit computers and emulators.
inferno-cortex-m-paper
A paper and slides for the 10th International Workshop on Plan 9.
inferno-os
Inferno® is a distributed operating system. Inferno represents services and resources in a file-like name hierarchy, including devices, network and protocol interfaces, dynamic data sources, and services.Applications are written in a concurrent programming language, Limbo.
archimedes-live
An Acorn Archimedes running live in your browser!
inferno-rpi
This is compilation of Labs “Porting Inferno OS to Raspberry Pi”. We decided to organize it as some set of small labs with very detailed steps of what is done to reach results and make everything easy to reproduce.
inferno-test-builds
Test Inferno builds.
AcornsoftLisp
Files related to Acornsoft Lisp
Artemis-Plus-Hardware
Hardware design files for the Artemis Plus Module
awesome-inferno
A curated list of awesome Inferno documents, libraries, and software
Castle-Raider
Castle exploration game.
elkulator
Elkulator is an Acorn Electron emulator for Windows and Linux.
fatfs-stm32
FatFs bare-metal porting to STM32F4xx SDIO module
inferno-ports
This repository contains workflows to build Inferno for various systems.
inferno-ports-doc
Documentation for various Inferno ports.
JamSoftElectronULA
JamSoftElectronULA
Jungle-Journey
Jungle exploration/escape game.
Multi-ROM-Menu
Utility to create a ROM image for the Multi-ROM cartridge.
pc-nrfutil
nrfutil python library and command line client
plan9port
Plan 9 from User Space
rpi-documentation
Fork of the official documentation for Raspberry Pi computers and microcontrollers
UEF2ROM-recipes-BBC-Micro
Recipes for building ROM files from UEF files for the BBC Micro.
xanim
xanim but with the loki export code but fixed to work on modern linux 32bit displays