GitHub repository: piogor/rfc
Description: The Tango RFC project aims at define the kernel specification.