A small operating system kernel based on Cosmos (see https://github.com/CosmosOS/Cosmos).
The complete source, even if not explicitly specified, is licensed under the terms of the version 3 of the GNU General Public License (for its full text, see LICENSE file).