BRZEN
Inferno (operating system)
Texto da Wikipédia (en), licença CC BY-SA. O BETARUBI mostra o verbete inteiro nesta página — a leitura não continua fora do site.
| Inferno | |
|---|---|
Inferno 4th Edition | |
| Developer |
|
| Written in | C, Limbo |
| Working state |
|
| Source model | Open-source |
| Initial release |
|
| Latest release | Inferno 4th Edition / inferno-os April 21, 2026 Inferno64: July 8, 2026 |
| Repository |
|
| Available in | English |
| Supported platforms | Inferno: ARM, x86,RISC-V Inferno64: AArch64, x86-64 Historic: AMD 29k, MIPS, PowerPC, SPARC, PA-RISC, SH-4 |
| Kernel type | Virtual machine (Dis) |
| Influenced by | Research Unix, Plan 9 |
| License | 2021: MIT[1][2] 2005: Dual[a][3][4] 2003: Dual[b][5][6][7][8] 2000: Inferno[c][9] Original: Proprietary |
| Official website |
|
Inferno is a MIT licensed[2] distributed operating system started at Bell Labs[10], is now held by Vita Nuova Holdings and maintained by Terzarima Systems.[1][11] Inferno was based on the experience gained with Plan 9 from Bell Labs, and the further research of Bell Labs into operating systems, languages, on-the-fly compilers, graphics, security, networking and portability. The name of the operating system, many of its associated programs, and that of Vita Nuova were inspired by Dante Alighieri's Divine Comedy. In Italian, Inferno means "hell", of which there are nine circles in Dante's Divine Comedy. Inferno64 is a continuation of Inferno for 64-bit Edge Computing platforms.[12]
Design principles
Inferno was created in 1995 by members of the AT&T Bell Labs Computing Sciences Research Center to bring ideas derived from their previous operating system, Plan 9 from Bell Labs, to a wider range of devices and networks. Lucent would later shutdown the Bell Labs Computing Sciences Research Center in 2005.[13]
Inferno is a distributed operating system based on three basic principles:
- Resources as files: all resources are represented as files within a hierarchical file system[14]
- Namespaces: a program's view of the network is a single, coherent namespace that appears as a hierarchical file system but may represent physically separated (locally or remotely) resources;[15] Derived from Plan 9 namespaces[16]
- Standard communication protocol: a standard protocol, called Styx, is used to access all resources, both local and remote[17]
To handle the diversity of network environments it was intended to be used in, the designers decided a virtual machine (VM) was a necessary component of the system. This is the same conclusion of the Sun Microsystems Oak project that became Java, but arrived at independently.[18]
The Dis virtual machine is a register machine intended to closely match the architecture it runs on, in contrast to the stack machine of the Java virtual machine. An advantage of this approach is the relative simplicity of creating a just-in-time compiler for new architectures. This was inspired by AT&T's work on the CRISP processor. [19]
The virtual machine provides memory management designed to be efficient on devices with as little as 1 MiB of memory and without memory-mapping hardware. Its garbage collector is a hybrid of reference counting and a real-time coloring collector that gathers cyclic data.[20]
The Inferno kernel contains the virtual machine, on-the-fly compiler, scheduler, devices, protocol stacks, the name space evaluator for the file name space of each process, and the root of the file system hierarchy. The kernel also includes some built-in modules that provide interfaces of the virtual operating system, such as system calls, graphics, security, and POSIX compliant math modules.[14][21]
Inferno Paper introducing the original Inferno release
The Bell Labs Technical Journal paper introducing Inferno listed several dimensions of portability and versatility provided by the OS as of first public release in 1997:[10]
- Portability across processors: Inferno currently runs on Intel, Sun SPARC, ARM, SGI MIPS, HP PA-RISC, IBM PowerPC, and AMD 29k architectures and is readily portable to others.
- Portability across environments: it runs as a stand-alone operating system on small terminals, and also as a user application under Bell Labs Plan 9, Windows NT, Windows 95, and Unix. In all of these environments, Inferno programs see an identical interface.
- Distributed design: the identical environment is established at the user's terminal and at the server, and each may import the resources (for example, the attached I/O devices or networks) of the other. Aided by the communications facilities of the run-time system, programs may be split easily (and even dynamically) between client and server.
- Minimal hardware requirements: it runs useful applications stand-alone on machines with as little as 1 MiB of memory, and does not require memory-mapping hardware.
- Portable programs: Inferno programs are written in the type-safe language Limbo and compiled to Dis bytecode, which can be run without modifications on all Inferno platforms.
- Dynamic adaptability: programs may, depending on the hardware or other resources available, load different program modules to perform a specific function. For example, a video player might use any of several different decoder modules.
These design choices were directed to provide standard interfaces that freed content and service providers from concern of the details of diverse hardware, software, and networks of the 1990s over which their content was delivered. The majority of IoT Hardware operating in 2024 used Linux in comparison to the hardware challenges that the Inferno designers faced.[22]
Features
Application development and APIs
To ensure memory safety, applications are written in the Limbo programming language, which provides static typing, garbage collection, and built-in concurrency features, this allows the operating system to safely run without a hardware MMU; only kernel modules and internal parts of the Dis virtual machine itself can be written in C.[23] Limbo code is compiled into architecture-independent bytecode executed by the Dis virtual machine. The Dis VM can interpret the bytecode or compile it just-in-time into native instructions, allowing applications to run consistently across different platforms.[10][24] Low level operating system functions such as process creation and inter-process communication are implemented within the Dis virtual machine itself; This means applications cannot access memory outside their allocated range[25] and all resources such as file descriptors, network connections, and window manager objects are connected to the garbage collector.[24] In hosted mode, kernel threads are handled by the host operating system.[26]
Resource management
All resources in Inferno, such as devices, services, and network connections, are represented as files in a hierarchical namespace and accessed using standard file operations like open, read, write, and close. Inferno uses the Styx protocol, equivalent to Plan 9's 9P2000, to interact with both local and remote resources in a uniform manner.[10][17] Hardware is also accessed through user mode file servers that present resources to the user-mode API from the native kernel. When Inferno is hosted, all of the hardware resources are managed by the host operating system and accessed through a namespace which binds to the specific exposed hardware interfaces of the host OS.[27] Inferno64 further manages resources through the Owen labor exchange which also allows for intelligent network discovery and resource sharing, first conceptualised in 2004 for Inferno 4th Edition. [12][28]
Security features
Security features include per-process namespaces, authentication, and encryption. Applications operate within restricted namespaces, limiting their access to only authorized resources. The system supports a range of cryptographic protocols, including RSA, Diffie–Hellman, and symmetric encryption methods such as RC4 and DES.[29] Inferno64 continues this with support for the latest version of the SSH protocol and TLS 1.3. [30] The owner based security model ensures that each module has a namespace that can only be fully controlled by an administrator, the default user owner is known as Eve in both hosted and native mode.[31]
Integrated development environment
The Inferno operating system is compiled with a modified variant of the Plan 9 compiler suite including mk[32] that has been rewritten in ANSI C with POSIX extensions.[33]
Inferno provides a full development environment that includes a compiler, graphical debugger, scripting tools, and libraries for networking and user interfaces.[34] It supports dynamic module loading and can operate with low resource requirements, such as systems with 1 MB of memory.[10] Inferno64 includes built-in AI coding agents.[12]
Supported device platforms
Previous versions of Inferno could run either as a native operating system on historically supported architectures such as MIPS, PowerPC, SH-4, and SPARC[33] or as a hosted application on historic operating systems, including 2.x versions of Linux, Unixware 2.x, Windows 2000, Plan 9 3rd Edition, FreeBSD, Solaris 7, Mac OS X Tiger, and IRIX.[35]
The current development branch version of Inferno 4th Edition maintains support for AArch32 and IA-32 while the hosted ports are better suited for Linux and 9front.[2] Inferno64 which abandons previous 32-bit processing platforms, supports x86-64 and Aarch64.[12]
History

Connection to Plan 9
Inferno is a descendant of Plan 9 from Bell Labs, and shares many design concepts and even source code in the kernel, particularly around devices and the Styx/9P2000 protocol. Inferno shares with Plan 9 the Unix heritage from Bell Labs and the Unix philosophy. Many of the command line tools in Inferno were Plan 9 tools that were translated to Limbo.[34]
Lucent origins
In the mid-1990s, Plan 9 development was set aside in favor of Inferno.[36] The new system's existence was leaked by Dennis Ritchie in early 1996, after less than a year of development on the system, and publicly presented later that year as a competitor to Java. At the same time, Bell Labs parent company AT&T licensed Java technology from Sun Microsystems.[37] The Inferno business unit was founded by Lucent after the AT&T spin-off and staffed with a team of 20 personnel. [38]
In March–April 1997 IEEE Internet Computing included an advertisement[39] for Inferno networking software. It claimed that various devices could communicate over "any network" including the Internet, telecommunications and LANs. The advertisement stated that video games could talk to computers,–a PlayStation was pictured–cell phones could access email and voice mail was available via TV.
Lucent used Inferno in at least two internal products: the Lucent VPN Firewall Brick[40], and the Lucent Pathstar phone switch.[41] They initially tried to sell source code licenses of Inferno but found few buyers. Lucent did little marketing and missed the importance of the Internet and Inferno's relation to it. During the same time Sun Microsystems was heavily marketing its own Java programming language, which was targeting a similar market, with analogous technology, that worked in web browsers and also filled the demand for object-oriented languages popular at that time.[18] Lucent licensed Java from Sun, claiming that all Inferno devices would be made to run Java. A Java byte code to Dis byte code translator was written to facilitate that.[42] However, Inferno still did not find customers; Lucent also held a Limbo programming contest in 1998 in an attempt to attract student developers.[43]
The Inferno business unit ceased operations in 2000 after 3 years of its founding, and Lucent sold Inferno to Vita Nuova Holdings based in York.[44] The historic working papers of the former Lucent/Bell Labs Inferno business unit prior to 2000 can be found archived here.
Vita Nuova, renewed development
In 1996, Vita Nuova Limited was founded in York with the idea of commercializing both Plan 9 and Inferno. Lucent soon contracted Vita Nuova to produce a PowerPC port of Plan 9 for the Bebox.[45] In 1997, Lucent created the new ventures group to exploit the commercial possibilities of everything produced at Bell Labs.[46] It was through this ventures group that Vita Nuova became Vita Nuova Holdings and obtained the Inferno operating system.[47] Vita Nuova would also offer a boxed edition of Plan 9.[48]
Vita Nuova continued development and offered commercial licenses to the complete system, and free downloads under non-GPL compatible licenses for all of the system except the kernel and VM. They ported the software to new hardware and focused on distributed applications. In 2004, Vita Nuova released the 4th edition under more common free software licenses, and in 2021 they relicensed all editions mainly under the MIT License.[5][1][2] In 2026, It was explained by former Vita Nuova architect Charles Forsyth that Vita Nuova became effectively defunct after 2022 but remains actively registered for historic copyright reasons.[45]
Inferno64 project
In 2022, Inferno was forked into the active Inferno64[49] project which added 64-bit capabilities, however this made all applications written for the original 4th edition 32-bit Dis Virtual Machine incompatible with the newer 64-bit version of Dis. Inferno64 development remains active.[50] The previous official formal Dis Virtual Machine specification had been last published in 2000[51] with additional changes made in 2003.[52]
30 years of Inferno and planned future development
As of 2026, 32-bit Inferno 4th Edition is maintained with occasional developments added by Charles Forsyth of Terzarima Systems[11] and is held on the appropriate GitHub repository.[53] A port of 32-bit Inferno OS to RISC-V has been discussed by Charles Forsyth alongside an updated formal specification of the Dis Virtual Machine.[54] A near complete RISC-V port had been previously developed at the Norwegian University of Science and Technology in 2021.[55] Preliminary planning of the future 5th Edition Inferno release has begun but the features are yet to be fully decided.[45]
| Date | Release | Comment |
|---|---|---|
| 1996 | Inferno Beta | Released by Bell Labs |
| May 1997 | Inferno Release 1.0 | Winter 1997 Bell Labs Technical Journal Article |
| July 1999 | Inferno 2nd Edition | Released by Lucent's Inferno Business Unit. Bell Labs CSRC closed in 2005. |
| June 2001 | Inferno 3rd Edition | Released by Vita Nuova |
| 2004 | Inferno 4th Edition | Open Source release; changes to many interfaces (incompatible with earlier editions); includes support for 9P2000; re-released under MIT License in 2021. |
| 2022 | Inferno64 | Forked release with MIT licensed source; extends Dis VM to 64 bits and uses built-in SQLite; latest revisions include the LLM Fileserver for manipulating LLMs. |
| April 2026 | Inferno-OS | Latest development branch of Inferno 4th Edition; maintained by Terzarima Systems; unused architectures dropped; Inferno 5th Edition to be planned. |
Ports
Inferno runs on native hardware directly and also as an application providing a virtual operating system which runs on other platforms. Programs can be developed and run on all Inferno platforms without modifying or recompiling.
Native ports historically included these architectures: x86, MIPS, ARM, PowerPC, SPARC.
Historic hosted or virtual OS ports included: Microsoft Windows before XP, Linux, FreeBSD, Plan 9, Mac OS X, Solaris, IRIX, UnixWare.
Inferno could also be hosted by a plug-in to Internet Explorer.[56] Vita Nuova director Michael Jeffrey stated that a Netscape plug-in was planned for 2002 but it was never released.[47] The plug-in code was deleted from the current Inferno-OS branch in 2021.[57]
The updated April 2026 Inferno 4th edition Inferno-OS development branch only has current ports for x86 and ARM.[53]
Hosted ports supported by the April 2026 Inferno 4th edition Inferno-OS development branch are: Linux, macOS, NetBSD, Windows 11, and Plan 9. [53]
A timeline of various device ports
1990s: Acorn Archimedes[58], Bebox[45], IBM PC Series, JavaStation[33], Lucent Appliances[40], SA-1100 based VoIP phone[59]
2000s: Compaq IPAQ[60], PowerQUICC III Series[33], Nintendo DS[61], NTT MAP-1000[62], XScale based devices[33]
2010s: Android devices[63][64], Openmoko[65], SheevaPlug[66], Sun SPOT[67], Raspberry Pi[68]
2020s: Raspberry Pi Pico[69], RISC-V System Emulator[55]
Hosted Inferno64 is limited to modern 64-bit platforms such as macOS 12, Windows 11, 9front, and Android 10 or later. [70]
Distribution
Inferno 4th edition was released in early 2005 as free software. Specifically, it was dual-licensed under two structures.[5] Users could either obtain it under a set of free software licenses, or they could obtain it under a proprietary license. In the case of the free software license scheme, different parts of the system were covered by different licenses, including the GNU General Public License, the GNU Lesser General Public License, the Lucent Public License, and the MIT License, excluding the fonts, which are sub-licensed from Bigelow and Holmes.
In March 2021, all editions were relicensed under mainly the MIT License.[1][2] Inferno64 continues under the same MIT License. [71]
See also
- Language-based system – Operating system that uses language features to provide security
- Singularity (operating system) – Experimental operating system from Microsoft Research
Notes
References
- 1 2 3 4 "Inferno Licence Terms". Archived from the original on 2021-04-27. Retrieved 2021-06-17.
The bulk of Inferno 4th Edition is provided under the `MIT' licence.
- 1 2 3 4 5 "GitHub - inferno-os/inferno-os". Retrieved 2025-10-05.
- ↑ "Inferno Licence Terms". Archived from the original on 2005-08-11.
The Free Software Scheme" and "Commercial Developer Licence
- ↑ "Vita Nuova Commercial Developer License - 9 November 2005". Archived from the original on 2006-05-02.
- 1 2 3 "Inferno Licence Terms". Archived from the original on 2003-10-26.
Vita Nuova Liberal Source Licence" and "Vita Nuova Commercial Developer Licence
- ↑ "Vita Nuova Liberal Source License - 29 May 2003". Archived from the original on 2005-04-05.
- ↑ "Vita Nuova Liberal Source License - 14 May 2003". Archived from the original on 2004-02-23.
- ↑ "Vita Nuova Commercial Developer License - 22 April 2003". Archived from the original on 2004-06-25.
- ↑ "Vita Nuova Inferno Subscription Licence". Archived from the original on 2000-12-08.
- 1 2 3 4 5 Dorward, Sean M; Pike, Rob; Presotto, David Leo; Ritchie, Dennis M; Winterbottom, Philip (1997-03-31). "The Inferno Operating System". Bell Labs Technical Journal. 2 (1). Lucent Technologies: 5–18. doi:10.1002/bltj.2028.
{{cite journal}}: CS1 maint: date and year (link) - 1 2 "Charles Forsyth (Terzarima Systems)". www.terzarima.net. Archived from the original on 2026-05-20. Retrieved 2026-08-07.
- 1 2 3 4 "Inferno64 - Distributed Compute Grid". inferno64.org. Retrieved 2026-08-07.
- ↑ Dept. 1127: going, Going, GONE!"},"url":{"wt":"http://www.unixreview.com/documents/s=9846/ur0508l/ur0508l.html"},"archive-url":{"wt":"https://web.archive.org/web/20051027064902/http://www.unixreview.com/documents/s=9846/ur0508l/ur0508l.html"},"archive-date":{"wt":"2005-10-27"},"access-date":{"wt":"2026-08-09"},"website":{"wt":"www.unixreview.com"}},"i":0}}]}' id="mwA6g"/>"Unix Review > Dept. 1127: going, Going, GONE!". www.unixreview.com. Archived from the original on 2005-10-27. Retrieved 2026-08-09.
- 1 2 Sharma, Ravi (1999-06-01). "Distributed application development with Inferno". DAC '99: Proceedings of the 36th annual ACM/IEEE Design Automation Conference. ACM: 146–150. doi:10.1145/309847.309904. ISBN 978-1-58113-109-3.
{{cite journal}}: CS1 maint: periodical has ISBN (link) - ↑ Breitstein, Steven R. (1999-06-26). "Inferno Namespaces". Inferno White Papers. Lucent Technologies. Archived from the original on 1998-06-11. Retrieved 2026-08-10.
- ↑ Pike, Rob; Presotto, Dave; Thompson, Ken; Trickey, Howard; Winterbottom, Phil (1993-04-01). "The use of name spaces in Plan 9". ACM SIGOPS Operating Systems Review. 27 (2): 72–76. doi:10.1145/155848.155861. ISSN 0163-5980.
- 1 2 Pike, Rob; Ritchie, Dennis M. (1999-06-30). "The Styx® architecture for distributed systems". Bell Labs Technical Journal. 4 (2). Lucent Technologies: 146–152. doi:10.1002/bltj.2169. ISSN 1538-7305.
- 1 2 "Lucent brews Inferno". InfoWorld. 1996-10-01. Retrieved 2026-08-16.
- ↑ Winterbottom, Phil; Pike, Rob (1997-02-26). "The design of the Inferno virtual machine". 9p.io. Proceedings, IEEE COMPCON 97 : San Jose, California, February 23-26, 1997. ISBN 978-0818678042. Retrieved 2026-08-10.
{{cite web}}: CS1 maint: periodical has ISBN (link) - ↑ Huelsbergen, Lorenz; Winterbottom, Phil (1998). Very Concurrent Mark and Sweep Garbage Collection without Fine-Grain Synchronization (PDF). 1998 International Symposium on Memory Management.
- ↑ Stuart, Brian L (2008). Principles of Operating Systems Design & Applications (1st ed.). Course Technology. p. 40. ISBN 9781418837693.
- ↑ "Linux Usage In IoT Devices By Category Statistics 2026". 2026-04-08. Retrieved 2026-08-08.
- ↑ Stuart, Brian L. (2008). Principles of Operating Systems: Design & Applications (1st ed.). Course Technology. pp. 52–53, 148. ISBN 9781418837693.
- 1 2 Dorward, Sean; Pike, Rob; Presotto, Dave; Trickey, Howard; Winterbottom, Phil (1996). "Inferno: la Commedia Interattiva". USENIX 2nd Symposium on OS Design and Implementation (OSDI '96) Works In Progress Reports - Session Program.
- ↑ Stuart, Brian L (2008). Principles of Operating Systems: Design & Applications (1st ed.). Course Technology. pp. 253–256. ISBN 9781418837693.
- ↑ Stuart, Brian L (2008). Principles of Operating Systems Design & Applications (1st ed.). Course Technology. p. 157. ISBN 9781418837693.
- ↑ Stuart, Brian L (2008). Principles of Operating Systems Design & Applications (1st ed.). Course Technology. pp. 345–346.
- ↑ Peppé, Roger. "Owen: A Labour Exchange for Computational Grids" (PDF). bitbucket. Vita Nuova. Retrieved 2026-08-07.
- ↑ Presotto, David Leo (1997-02-23). "Inferno security". Proceedings IEEE COMPCON 97. Digest of Papers. IEEE Comput. Soc. Press: 251–253. doi:10.1109/CMPCON.1997.584721. ISBN 978-0-8186-7804-2.
{{cite journal}}: CS1 maint: periodical has ISBN (link) - ↑ "caerwy (@caerwy) on X". X (formerly Twitter). 2026-04-07. Retrieved 2026-08-07.
- ↑ Stuart, Brian L (2008). Principles of Operating Systems: Design & Applications (1st ed.). Course Technology. p. 44. ISBN 9781418837693.
- ↑ Hume, Andrew G; Flandrena, Bob (2000). "Maintaining Files on Plan 9 with Mk" (PDF). 9p.io. Lucent Technologies, AT&T Labs. Retrieved 2026-08-23.
{{cite web}}: CS1 maint: url-status (link) - 1 2 3 4 5 "Inferno Ports: Hosted and Native". doc.cat-v.org. Vita Nuova. Retrieved 2026-08-09.
- 1 2 Peppé, Roger. "Program Development under Inferno". inferno-os.org. Vita Nuova Holdings. Archived from the original on 2022-06-27. Retrieved 2026-08-11.
- ↑ Dorward, Sean; Pike, Rob; Presotto, David Leo; Ritchie, Dennis M.; Trickey, Howard; Winterbottom, Phil (2000). "Vita Nuova: The Inferno Operating System". inferno-os. Vita Nuova. Archived from the original on 2026-05-21. Retrieved 2026-08-21.
- ↑ Pontin, Jason (19 February 1996). "AT&T reveals plans for Java competitor". InfoWorld. p. 3.
- ↑ Hayes, Frank (19 February 1996). "Bell Lab's Inferno aims to rival Java". Computerworld. p. 6.
- ↑ "Lucent wants to burn Java with Inferno - CNET". CNET News Staff. 1996-05-06. Retrieved 2026-08-09.
- ↑ "IEEE Internet Computing". IEEE Internet Computing. 1 (2). 1997-04-30. ISSN 1089-7801.
- 1 2 Coles, Delitha Morrow; Cunningham, Donna (1997-12-09). "Lucent Technologies Announces the Next Generation in Internet Security | Newswise". www.newswise.com. Retrieved 2026-08-11.
- ↑ Fossaceca, John M.; Sandoz, James D.; Winterbottom, Philip (1998-12-31). "The PathStar access server: Facilitating carrier-scale packet telephony". Bell Labs Technical Journal. 3 (4). Lucent Technologies: 86–102. doi:10.1002/bltj.2130. ISSN 1538-7305.
- ↑ Yurkoski, C. F.; Rau, L. R.; Ellis, B. K. (1998). Mueller, Frank; Bestavros, Azer (eds.). "Using Inferno™ to execute Java™ on small devices". Languages, Compilers, and Tools for Embedded Systems. Berlin, Heidelberg: Springer: 108–118. doi:10.1007/BFb0057784. ISBN 978-3-540-49673-1.
{{cite journal}}: CS1 maint: periodical has ISBN (link) - ↑ "Inferno Limbo Championship". www.lucent-inferno.com. Archived from the original on 1999-04-24. Retrieved 2026-08-09.
- ↑ "York firm hits Internet gold". York Press. 2000-06-28. Retrieved 2026-08-09.
- 1 2 3 4 Development, PodBean. "Episode 17 - Plan 9 and Inferno OS | The Living in the Future Podcast". www.livinginthefuture.rocks. Retrieved 2026-08-10.
- ↑ Banyi, Monica; Caplan, Dennis; Graham, Roger (2011-04-04). "The short happy life of Celiant Corporation: Did managerialism at Lucent Technologies divert shareholder wealth to private equity investors?". Critical Perspectives on Accounting. 22 (4): 337–350. doi:10.1016/j.cpa.2011.02.003.
- 1 2 "Interview with Vita Nuova CEO Michael Jeffrey – OSnews". www.osnews.com. 2002-03-05. Retrieved 2026-08-15.
- ↑ "Inferno and Plan 9 Newsletter May 2002". Archived from the original on 9 August 2002.
- ↑ "History". www.caerwyn.com. Retrieved 2026-08-07.
- ↑ "State of inferno64". groups.google.com. Retrieved 2026-08-08.
- ↑ "Dis Virtual Machine Specification". www.inferno-os.org. Vita Nuova. Archived from the original on 2026-02-12. Retrieved 2026-08-08.
- ↑ "Dis Virtual Machine Specification". doc.cat-v.org. Vita Nuova. Retrieved 2026-08-08.
- 1 2 3 inferno-os/inferno-os, Inferno Operating System, 2026-08-07, retrieved 2026-08-07
- ↑ "Formal Specification for Dis VM?". groups.google.com. Retrieved 2026-08-08.
- 1 2 Stephansen, Sindre Amdal (2021-09-08). The Challenges of porting Inferno to RISC-V. Norwegian University of Science and Technology.
- ↑ "Supporting code to allow Inferno to act as a plugin in various browsers".
- ↑ inferno-os. "remove mention of long obsolete IE plugin · inferno-os/inferno-os@e99c80a". GitHub. Retrieved 2026-08-11.
- ↑ "Acorn A7000+ · Wiki · David Boddie / inferno-os · GitLab". GitLab. Retrieved 2026-08-15.
- ↑ Intel® StrongARM® SA-1100 WebPhone Reference Design: User’s Guide (PDF). Intel Corporation. 1998-09-08.
- ↑ "Compaq iPaq plunges into Inferno". ZDNET. 2001-06-28. Retrieved 2026-08-15.
- ↑ Lukkien, Mechiel (2024-01-22), mjl-/inferno-ds, retrieved 2024-01-25
- ↑ "Development record". Nippon Techno Lab (in Japanese). Retrieved 2026-08-15.
- ↑ "Inferno OS Running On Android Phones". Slashdot. 2011-09-17. Retrieved 2025-10-05.
- ↑ John Floren (2011-09-16). "Announcing Inferno for Android phones". Retrieved 2025-10-05.
- ↑ "inferno-openmoko - inferno for openmoko neo freerunner - Google Project Hosting". Retrieved 2012-06-04.
- ↑ Lukkien, Mechiel (2023-01-03), mjl-/inferno-kirkwood, retrieved 2026-08-15
- ↑ Stuart, Brian L (2013-09-14). "Inferno in Embedded Space: Porting to the Sun SPOT" (PDF). 8th International Workshop on Plan 9.
- ↑ Horne, Michael (2015-11-24). "Porting Inferno OS to the Raspberry Pi". Raspberry Pi Pod. Retrieved 2026-08-15.
- ↑ J, Caerwyn (2026-03-30), caerwynj/inferno-pico, retrieved 2026-08-09
- ↑ J, Caerwyn (2026-07-20), caerwynj/inferno64, retrieved 2026-08-07
- ↑ caerwynj. "inferno64/NOTICE at main · caerwynj/inferno64". GitHub. Retrieved 2026-08-07.
Further reading
- Stanley-Marbell, Phillip (2003). Inferno Programming with Limbo. Chichester: John Wiley & Sons. ISBN 0-470-84352-7. describes the 3rd edition of the Inferno operating system, though it focuses more on the Limbo language and its interfaces to the Inferno system, than on the Inferno system itself. For example, it provides little information on Inferno's versatile command shell, which is understandable since it is a programming language textbook.
- Stuart, Brian (2008). Principles of Operating Systems: Design and Applications. Course Technology. ISBN 978-1-4188-3769-3., uses Inferno for examples of operating system design.
- Atkins, Martin; Forsyth, Charles; Pike, Rob; Trickey, Howard. The Inferno Programming Book: An Introduction to Programming for the Inferno Distributed System. was intended to provide an operating-system-centric point of view, but was never completed.
External links
- Documentation papers for the latest inferno release.
- Historic Inferno Fourth Edition Download, including 2015 source code.
- Historic Vita Nuova Inferno resources page. Mostly historic links.
- Historic 1990s mailing list archives. Useful for computing historians.
- The current Inferno-OS mailing list. Lists current Inferno discussions.
- Ninetimes: News and articles about Inferno, Plan 9 and related technologies.
- Inferno programmer's notebook - A journal made by an Inferno developer.
- Inferno OS to Raspberry Pi Labs: Porting Inferno OS to Raspberry Pi
