description: 'subdirectory where to install arch-dependent headers')
option('kernel_dir', type: 'string', value: '',
description: 'path to the kernel for building kernel modules')
+option('lib_musdk_dir', type: 'string', value: '',
+ description: 'path to the MUSDK library installation directory')
option('machine', type: 'string', value: 'native',
description: 'set the target machine type')
option('max_lcores', type: 'string', value: '128',