This is an ongoing port of とあるOS to the Raspberry Pi. Some of the core ARM arch support comes from Alex Chadwick at Cambridge. Chadderz's Simple USB Driver is also included in a binary blob form to manage USB keyboard and mouse.
とあるOS is released under the terms of the NCSA License. As this is an active development repository, go find the license text here.
Any C sources herein are entirely the work of the とあるOS development team.