.sC "Device Profile Data Base Editor" "2.4.5" "DPE" "C" "KSOS Kernel"
.cX
The Device Profile Data Base Editor allows a System Administrator
to modify the Device Profile Data Base, which contains the information
KSOS needs about each device configured on the system. This information includes:
.BL
.LI
device name
.LI
security and integrity levels of the device
.LE
.P
The Device Profile Data Base Editor (DPE) is a structured editor which
operates directly on the entries in the Data Base. At any time, there is
a current entry. There are requests to change the information in the
current entry and to choose a new current entry, which may then be
modified.
.cI
The DPE is invoked by the Secure Server by a user running at SYSTEM HIGH
security and integrity levels. This will typically be a System Administrator.
The DPE modifies the Device Profile Data Base which is kept in the
file "/sys/dataBases/device."
.P
When invoked by the Secure Server, DPE enters a request loop. Valid
requests are:
.BL
.LI
add   : add an entry describing a device to the Data Base
.LI
change: change the current entry. The user will be prompted for new values for
each field.
.LI
view  : display the current entry at the user's device
.LI
delete: delete the current entry from the Data Base
.LI
print : print the entire Data Base on the line printer
.LI
find  : find a particular entry in the Data Base, given its device number
.LI
next  : move the current entry index to the next entry in the Data Base
.LI
quit  : exit the DPE
.LE
.cO
.cQ
It modifies the Device Profile Data Base, kept in the file
"/sys/dataBases/device."
.cE
None.
.cL
