Source code secrets : the basic kernel