デバイスを管理する方法

1. どのデバイスが device_allocate ファイル内でリストされているかと、どのデバイスを割り当て可能にできるかを決定します。

2. どのデバイスを割り当て可能にすべきかを定義します。

3. どのユーザがデバイスを割り当てできるようにするかを決定します。

4. device_allocate ファイルを編集して新しいデバイスを追加します。