GitHub repository: DavidSpickett/BadgerKernel
Primary language: C
Description: Multitasking kernel for Arm/Thumb/AArch64 targets.