provides the Inferno emulation environment,
otherwise known as `hosted Inferno'.
The emulator runs as an application under the
machine's native operating system, and
provides system services and a Dis virtual machine for Inferno applications.
starts an Inferno initialisation program
whose path name is interpreted in the
Inferno file name space,
the native operating system's name space.
It in turn invokes the shell
by default or the optional
and its arguments.
option is specified,
instance into an Inferno service process on the network,
running the given
service or services.
The emulator supports the following options:
- Unless specified otherwise by the module (see
uses an interpreter to execute Dis instructions.
to 1 (the default value is 0)
makes the default behaviour
to compile Dis
into native instructions when a module is loaded,
resulting in faster execution but larger run-time size.
to values larger than 1 enables increasingly detailed traces of the compiler.
- -d daemon
as a server, invoking
- Define screen width and height in pixels.
The default values are 640x480 and the minimum values are 64x48.
Values smaller than the minimum or greater than the
available display size are ignored.
- Specify the default font for the
The path is interpreted in the Inferno name space.
If unspecified, the
variable has value
- Specify the host system directory that
will serve as its root.
The default value is
on most systems, but
- Specify how the emulator deals with traps reported by the operating system.
By default, they suspend execution of the offending thread within the virtual machine
itself to trap, permitting debugging of the
broken host operating system process that results when a trap occurs.
(This is intended to allow debugging of
not Inferno applications.)
- Specify the maximum size in bytes of the named memory allocation pool.
- the general malloc arena
- the Dis virtual machine heap
- image storage for the display
- When host graphics is provided by X11, request a 7-bit colour map;
use this option only if X11 refused to allow
to configure the normal (default) 8-bit Inferno colour map.
- -C channel
- Use the given
for the display, if possible.
for the full range of channel descriptors.
gives 8 bit greyscale, and
gives 24 bit colour on a PC.
The set of channels supported is platform-dependent.
- Force stylus input behaviour for Tk mouse events:
motion events are received only when a button is down
(just as a stylus produces no events until it touches the screen).
This option only affects the behaviour of Tk mouse events, it does not
affect the behaviour of
as described in
- Print version data: edition and revision date.
Options may also be set in the host operating system's environment variable
they are overridden by options supplied on the command line.
finds the host system directory that will serve as its Inferno root directory
as the last value found as follows:
it is the value built-in to the executable, by default; or
the value of the host system's environment variable
or the value of the environment variable
or the value of a
option in the environment variable
set by a
option to the
sets several Inferno environment variables:
- host processor architecture:
(for any x86),
(any Power or PowerPC),
- arguments with which
- host operating system type, such as:
(used for Windows generally),
- name of directory in host file system that acts as Inferno's root directory
- name in host file system of directory where