GitHub repository: pounce-dev/kitty
Primary language: C
Description: kitty is a kernel designed for multiple architectures, maintained by BYUi students