How to Manage Devices

1. Determine which devices are listed in the device_allocate file and which devices can be made allocatable.

2. Define which devices, if any, should be made allocatable.

3. Decide which normal users, if any, should be allowed to allocate devices.

4. Edit the device_allocate file and add the new device.