kernel_files = [
]

install_data(kernel_files,
    install_dir: kernel_install_dir,
)