[Top] [Prev] [Next]


cons - console device


bind '#c' /dev



cons (read-write)

The console device serves a one-level directory giving access to the console and miscellaneous information.

Reading the cons file returns characters typed on the keyboard. Normally, characters are buffered until a newline ('\n') is entered to enable erase and kill processing via special characters:

A control-U, ^U, typed at the keyboard kills the current input line (removes all characters from the buffer of characters not yet read via cons).


A backspace erases the previous non-kill, non-erase character from the input buffer. Killing and erasing only delete characters back to, but not including, the last newline.

Typed keystrokes produce 16-bit characters that are translated into the variable-length UTF encoding (see utf) before putting them into the buffer. A read of length greater than zero causes the process to wait until a newline or a ^D ends the buffer, and then returns as much of the buffer as the argument to read allows, but only up to one complete line.

A terminating ^D is not put into the buffer. The next read will return immediately with unread bytes typed since the last newline but before the ^D. Thus, a ^D entered at the start of a line will cause a read system call to return 0 bytes, the equivalent of reading at the end of a file.

A sys-write to cons causes the characters to be printed on the console screen.

consctl (write-only)

The behavior of the keyboard input can be changed by writing certain control strings to the consctl file.


If the string "rawon" has been written to the consctl file and the file is still open, cons is in "raw mode". That is:


Ordinary mode is reentered when "rawoff" is written to consctl or this file is closed.

keyboard (read-only)

The keyboard file returns the underlying tokens produced by the keyboard hardware as they are produced; in the emulation environment, it is like an always-raw mode cons file.

null (read-write)

The null file throws away anything written to it and always returns zero bytes when read.

pointer (read-only)

A read of the pointer file returns the status of the mouse or other pointing device: its position and button state. The read blocks until the state has changed since the last read. The read returns an m character followed by three integers in the standard Inferno 12-character decimal format. See Limbo Modules - Miscellaneous.

The integers are the device's coordinates on the screen (x and y) and a bit mask with the 1, 2, and 4 bits set when the pointer's left, middle, and right buttons, respectively, are down.

pin (read-write*)

The pin file, when read, returns either the string "no pin" if no PIN has been set for authentication, or "pin set", if one has. The pin file may be written once per process group with a decimal representation of the PIN to use on this Inferno machine.

random (read-only)

The random device returns as many bytes of random data as are requested in the read.

The rest of the files contain (mostly) read-only strings. Each string has a fixed length: a read of more than that gives a result of that fixed length (the result does not include a terminating zero byte); a read of less than that length leaves the file offset so the rest of the string (but no more) will be read the next time. To reread the file without closing it, sys->seek must be used to reset the offset.

When the file contains numeric data, each number is formatted in decimal as an 11-digit number with leading blanks and one trailing blank: twelve bytes total. There is no trailing newline character.

sysname (read-write)

The sysname file holds the text name of the machine. No privilege is needed to write to this file.

user (read-write*)

The user file contains the name of the user associated with the current process group.

On hosted systems, this value can be changed only by processes owned by the initiator of the emu program.

memory (read-only)

The memory file returns a formatted presentation of the state of the memory allocation pools in the system. Each line of output returned reports, for a single pool:

time (read-write)

Reading the time file obtains in decimal format ("%.lld") number of microseconds since the epoch 00:00:00 GMT, Jan. 1, 1970.

This `clock' can be reset by writing the desired time value (in decimal format) to the time file.

See Also



When running the Inferno native kernel, two control-T's followed by certain letters generate console output for debugging:

prints data about kernel processes


prints the kernel stack


prints data about memory allocation


reboots the system

These sequences have no special meaning when running the emulator (emu).

[Top] [Prev] [Next]

Copyright © 1996,Lucent Technologies, Inc. All rights reserved.