2 Running THUD

The THUD system can be invoked by typing the shell command thud. Subsequent elements of the command-line — normally called command-line arguments — are processed in the order given.

After booting, thud acts to interpret commands until told to stop. See Faces, for interactive usage.

• Command-line processing: Expressing options and design files.
• Boot sequence: The exact sequence of events for booting.
• Code and data: Drivers and designs.
• Procedures and variables: Services provided.
• Faces: Choose a mode of interacting with THUD.