Home Explore Help
Sign In
RISCI_ATOM
/
inferno-os
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Page: Home
Build Configuration Files
Building a Hosted Inferno Environment
Building a PC Disk Image
Configuring a Native Build
Downloading the Inferno Sources
Home
InfernoAndLimboPlans
Project_Applicants
Project_Suggestions
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
Delete Page

This will delete the page "Home". Please be certain.

No
Yes