A tiny "OS" for the Raspberry Pi Pico implementing timesharing through process switching.
By: Alec Bargher and Gus Waldspurger
For CMSC 33100 - Advanced Operating Systems
All A2OS source code is governed by the GPL, except for
third-party code in kern/context_switch.s, which is governed by its original
BSD-style license, whose terms are reproduced in that source file.