About the Kernel category

This category is for discussing the Redox OS kernel: https://github.com/redox-os/kernel