config_query_list HAL_VER 'which version to build?' stable devel
