Next: Kernel Debugger, Previous: Processors and Processor Sets, Up: Top [Contents][Index]
The GNU Mach microkernel provides a simple device interface that allows the user space programs to access the underlying hardware devices. Each device has a unique name, which is a string up to 127 characters long. To open a device, the device master port has to be supplied. The device master port is only available through the bootstrap port. Anyone who has control over the device master port can use all hardware devices.
This is a mach_port_t
and used to hold the port name of a
device port that represents the device. Operations on the device are
implemented as remote procedure calls to the device port. Each device
provides a sequence of records. The length of a record is specific to
the device. Data can be transferred “out-of-line” or “in-line”
(see Memory).
All constants and functions in this chapter are defined in device/device.h.
• Device Reply Server: | Handling device reply messages. | |
• Device Open: | Opening hardware devices. | |
• Device Close: | Closing hardware devices. | |
• Device Read: | Reading data from the device. | |
• Device Write: | Writing data to the device. | |
• Device Map: | Mapping devices into virtual memory. | |
• Device Status: | Querying and manipulating a device. | |
• Device Filter: | Filtering packets arriving on a device. |
Next: Kernel Debugger, Previous: Processors and Processor Sets, Up: Top [Contents][Index]