(DIR) kernel