option('machine', type: 'string', value: 'native',
description: 'set the target machine type')
option('max_lcores', type: 'string', value: '128',
option('machine', type: 'string', value: 'native',
description: 'set the target machine type')
option('max_lcores', type: 'string', value: '128',