GitHub repository: oplik0/redox-kernel
Description: Mirror of https://gitlab.redox-os.org/redox-os/kernel