FSMAKEDEV — User Commands
NAME
fsmakedev − Create a device file
SYNOPSIS
fsmakedev [-s serverID] [-d devType] [-u unit] [-p mode] name
OPTIONS
−s serverIDThe serverID is needed for devices attached to a particular host. If not specified then the device created is a common device found on all hosts and the local instance of the device is used. The serverID is a numeric hostID, not a name.
−d devTypeThis specifies the type of the device. This is a numeric value found in /sprite/src/kernel/dev/∗.md/devTypesInt.h
−u unitThe unit number of the device.
−p modeThis specifies the permission bits of the device file.
nameThis is the name of the device.
DESCRIPTION
Fsmakedev creates a special device file that is a placeholder for a peripheral device. The device file indicates the device type and a unit number. It also indicates the location of the device. In Sprite devices are either common, which means that all hosts have them, or they are specific to a particular host. When a common device is opened then the device attached to the local host is used. Otherwise the serverID in the device file indicates where the device is. The default is for a common device file to be created. Use the -s option to specific the serverID for devices attached to a particular host. By convention common devices are found in the /dev directory, and specific devices are in the /hosts/hostname/dev directory.
BUGS
The device type is a magic number found in the /sprite/src/kernel/dev/∗.md/devTypesInt.h file. The serverID is a numeric hostID, not a hostname.
SEE ALSO
fsmakenetdev
KEYWORDS
device
Sprite version 1.0 — August 26, 1992