Grass Valley PROFILE FAMILY v.2.5 - Manual (Page 313)

Profile Family 313
Chapter
10
Using the Resource Manager
The Resource Manager lets you assign system video, audio, and timecode
resources and configure operational settings for one or more Profile channels.
These resources are used by the Tool Box Editor, List Manager, and Time
Delay.
Figure 148. Resource Manager dialog box