Import kernel files