devices

Parameters

devices

names of the devices this user may use, as keyed in ServeConfig.devices