Directory containing files related to our kernel