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