ins: kernel-dev