GitHub repository: rubenwardy/rubix_kernel
Primary language: C
Description: A simple kernel for ARMv7