using our kernel repos