Return a `pandas.DataFrame`, where each row corresponds to an available
    device configuration, including the `device` (i.e., the name of the
    device).

def get_device_configs():
    '''
    Return a `pandas.DataFrame`, where each row corresponds to an available
    device configuration, including the `device` (i.e., the name of the
    device).
    '''
    frames = []

    for i in range(2):
        for device in get_video_sources():
            df_device_i = get_configs(device)
            df_device_i.insert(0, 'device', str(device))
            frames.append(df_device_i)

    device_configs = pd.concat(frames).drop_duplicates()
    device_configs['label'] = device_configs.device.map(
        lambda x: x.split('/')[-1].split('-')[1].split('_')[0])
    device_configs['bitrate'] = device_configs.height.map(get_bitrate)
    return device_configs