Device and kernel repo