Rafael Aquini's repositories
arm-trusted-firmware
Read-only mirror of Trusted Firmware-A
blink
tiniest x86-64-linux emulator
build
The qword OS build process
cbmc
C Bounded Model Checker
CMSIS_5
CMSIS Version 5 Development Repository
content-resolver-input
Configuration files for Feedback Pipeline
craftinginterpreters
Repository for the book "Crafting Interpreters"
crash
Linux kernel crash utility
libopencm3
Open source ARM Cortex-M microcontroller library
easy_z80
An easy to build Zilog Z80 based single board computer
irc-slack
IRC-to-Slack gateway
LLVM-embedded-toolchain-for-Arm
A project dedicated to build LLVM toolchain for 32-bit Arm embedded targets.
numactl
NUMA support for Linux
qtools
quilt tools
qword
Operating system for x86_64 based around a "keep it simple and make it work" philosophy.
smart-thermostat
Open-source ESP32-based thermostat that has some useful intelligence
stlink
Open source STM32 MCU programming toolset
stm32f103c8t6
libopencm3 and FreeRTOS projects using the STM32F103C8T6 MCU
tilck
A Tiny Linux-Compatible Kernel
u-boot
Clone of upstream U-Boot repo with patches for Arm development boards
unix-history-make
Code and data to create a git repository representing the Unix source code history
unix-history-repo
Continuous Unix commit history from 1970 until today
util-qword
util-linux, but qword
Z80-MBC2
The Z80-MBC2 is an easy to build Z80 SBC (Single Board Computer). It is the "evolution" of the Z80-MBC, with a SD as "disk emulator" and with a 128KB banked RAM for CP/M 3 (but it can run CP/M 2.2 and QP/M 2.71 too).