Deleted Kernel repo