Home
RISCi_ATOM edited this page 7 years ago

Inferno

This Wiki aims to provide instructions for configuring, building and installing Inferno on various devices, as well as information about the build system, boot process, device drivers and file system layout. The focus is on running Inferno on real hardware rather than as a hosted environment on some other operating system.

Overview

Inferno

  1. Downloading the Inferno sources
  2. Building a Hosted Environment
  3. Configuring a Native Build
  4. Building a PC Disk Image

Build Configuration

  1. Build configuration files

Ports

The following is a list of native ports of Inferno to various devices with source code publicly available:

Cloning this Wiki

This Wiki is written in Markdown syntax and stored in a Mercurial repository. You can use Mercurial to clone it:

$ hg clone https://dboddie@bitbucket.org/dboddie/inferno-os/wiki