RISCi_ATOM edited this page 7 years ago


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.



  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


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