A tiny 32 bit kernel written in ATS - View it on GitHub