Inferno® is a compact operating system designed for building distributed and networked systems on a wide variety of devices and platforms. With many advanced and unique features, Inferno puts an unrivalled set of tools into your hands.
You can fetch it now as Free Software, on similar
terms to Linux or xBSD.
Inferno can run as a user application on top of an existing operating system or as a stand alone operating system. Most of the popular operating systems and processor architectures are supported:
As a demonstration, Inferno also ran as a plug-in under Internet Explorer version 4.
Host Operating Systems
- Windows NT/2000/XP
- MacOS X
- Plan 9
- ARM (ARM32, Thumb)
- Intel x86 (386 & higher)
Each Inferno system presents an identical environment to the applications, irrespective of the underlying host OS or architecture, allowing the developer to work with a truly homogeneous environment across multiple different platforms.
Inferno applications are written in Limbo®, a modern, safe, modular, concurrent programming language with C-like syntax. It is more powerful than C but considerably easier to understand and debug than C++ or Java. It is easy to express the concurrency in the physical world directly in Limbo's syntax.
Any Inferno application will run identically on all Inferno platforms.
Limbo code is compiled into architecture independent code for the Dis®
Virtual Machine, with a compact representation.
Dis can be interpreted directly (saving space), or compiled on the fly for a given target processor (saving time).
The choice can be made at run-time, per module.
The Dis architecture was carefully designed to make on-the-fly code generation straightforward.
Its instructions are easy to implement.
Inferno offers complete transparency of resources and data using a simple but powerful 'namespace' system. By representing resources as files and having one standard communication protocol — 9P (Styx®) — resources such as data stores, services and external devices can easily be shared between Inferno systems. A resource interface may be imported to the local system and used by the applications without them knowing, or needing to know, whether it is local or remote.
High level security is an important part of the Inferno system. By using one standard protocol for all network communication, security can be focused on one point and provided at a system level. Inferno offers full support for authenticated, encrypted connections using a certificate based user identification scheme and variety of algorithms including:
- IDEA, 56 bit DES, 40, 128 and 256 bit RC4 encryption algorithms
- MD4, MD5 and SHA secure hash algorithms
A Complete Solution
Inferno is not only an operating system, it is also a complete development environment, providing all the tools necessary for creating, testing and debugging the applications that run within it.
To see how Vita Nuova and Inferno can provide a solution for you, contact us or select one of the links below.
- Acme IDE: includes editor, shell, advanced pattern matching tools & more
- Fast Compiler: with full syntax and compile time type checking
- Graphical Debugger: with full stack trace for currently executing threads
- Powerful Shell: with sophisticated scripting capabilities
- UNIX like commands: including bind, grep, gzip, mount, ps, tar, yacc...
Runs on devices with as little as 1MB of RAM
Complete Development Environment
Including Acme IDE, compilers, shell, UNIX like commands & graphical debugger
An advanced modular, safe, concurrent programming language with C like syntax.
Limbo modules for networking, graphics (including GUI toolkit), security and more...
Dis® Virtual Machine
Virtual machine providing target system independence and compact code.
Improves application performance by compiling object code on the fly (Just In Time).
Powerful resource representation using a single communication protocol, 9P. Import and export resources completely transparently.
Full Source Code
Full source code for the whole system and applications, subject to licence terms
Online manual pages
Full unicode support
Advanced GUI toolkit
C cross compiler suite
Games, Demos & Utilities