plitc/custom_debian_kernel

build script for debian kernel

Shell