inferno-os

Contact owners and managers

1–30 of 274

Welcome to discussions and questions the Inferno distributed operating system, including the Limbo programming language.

See http://inferno-os.org for information and documentation.

The source and system are available at http://inferno-os.googlecode.com/ and at http://inferno-os.org/inferno/downloads.html.

The group e-mail address is inferno-os@googlegroups.com if you prefer to post that way.

Posts from new members might be moderated.

0 selected

Vincent Van Laak, da...@boddie.org.uk4

Oct 14

Greetings

So I'm trying to find a metaphor that works the way I want it, and the best I can come up with,

unread,

Greetings

So I'm trying to find a metaphor that works the way I want it, and the best I can come up with,

Oct 14

Ethan Azariah2

Oct 2

Android app not finding file tree

On Wed, Oct 1, 2025, at 2:13 PM, Ethan Azariah wrote: > I'm having trouble with bhgv's

unread,

Android app not finding file tree

On Wed, Oct 1, 2025, at 2:13 PM, Ethan Azariah wrote: > I'm having trouble with bhgv's

Oct 2

da...@boddie.org.uk, … Matheus Garcia29

Sep 20

VGA/VESA on the PC port

It's good to hear that you figured it out. Do you have smooth PS/2 mouse input now? Have you

unread,

VGA/VESA on the PC port

It's good to hear that you figured it out. Do you have smooth PS/2 mouse input now? Have you

Sep 20

David Boddie2

Jul 4

Pimoroni Pico Plus 2

On Saturday, 18 January 2025 at 21:19:38 UTC+1 da...@boddie.org.uk wrote: It should also work on a

unread,

Pimoroni Pico Plus 2

On Saturday, 18 January 2025 at 21:19:38 UTC+1 da...@boddie.org.uk wrote: It should also work on a

Jul 4

Ethan Azariah

May 29

Acme Mail and IMAP?

Is there an IMAP FS I can use behind the Acme Mail front-end?

unread,

Acme Mail and IMAP?

Is there an IMAP FS I can use behind the Acme Mail front-end?

May 29

Кирилл Фролов, Charles Forsyth3

Apr 13

constant connection drops when downloading inferno.zip

It stilll happens. воскресенье, 13 апреля 2025 г. в 17:45:38 UTC+3, Charles Forsyth: it might be

unread,

constant connection drops when downloading inferno.zip

It stilll happens. воскресенье, 13 апреля 2025 г. в 17:45:38 UTC+3, Charles Forsyth: it might be

Apr 13

Кирилл Фролов, Charles Forsyth2

Apr 13

Inaccuracy on inferno download page.

you're right. it's not what it's supposed to be. i'll try to sort it out. On Thu, 10

unread,

Inaccuracy on inferno download page.

you're right. it's not what it's supposed to be. i'll try to sort it out. On Thu, 10

Apr 13

David Boddie, … Timothy Gaskell6

Jan 25

PC framebuffer support

fredag 24. januar 2025 kl. 05:49:12 UTC+1 skrev tnga: This is very cool! I got it built and running

unread,

PC framebuffer support

fredag 24. januar 2025 kl. 05:49:12 UTC+1 skrev tnga: This is very cool! I got it built and running

Jan 25

Edouard Klein, Valery Ushakov2

12/4/24

@ operator in inferno sh

Subshell makes it possible to fork namespace, but you need to do it if you want/need it. % @ { pctl

unread,

@ operator in inferno sh

Subshell makes it possible to fork namespace, but you need to do it if you want/need it. % @ { pctl

12/4/24

Mart Zirnask, … Caerwyn Jones4

10/13/24

9ferno on Windows 10 64-bit?

A little more about recent work. I implemented in limbo the exact cover with colors algorithm from

unread,

9ferno on Windows 10 64-bit?

A little more about recent work. I implemented in limbo the exact cover with colors algorithm from

10/13/24

Valery Ushakov

9/13/24

JavaStation port

The JavaStation port (os/js) seems to have been left behind in the 4th edition. Are there any docs/

unread,

JavaStation port

The JavaStation port (os/js) seems to have been left behind in the 4th edition. Are there any docs/

9/13/24

David Boddie, … Caerwyn Jones7

8/31/24

Inferno on Pi Pico 2?

Yes, it should be pretty straightforward. It should also support quite a range of the boards using

unread,

Inferno on Pi Pico 2?

Yes, it should be pretty straightforward. It should also support quite a range of the boards using

8/31/24

unixrules2

8/10/24

actual inferno.zip download Win11

download from vitanuova does not work. unixrules schrieb am Montag, 5. August 2024 um 21:43:35 UTC+2:

unread,

actual inferno.zip download Win11

download from vitanuova does not work. unixrules schrieb am Montag, 5. August 2024 um 21:43:35 UTC+2:

8/10/24

Caerwyn Jones, Valery Ushakov2

8/4/24

Inferno on Ubuntu Noble Numbat

You probably need this for Linux too now: https://github.com/inferno-os/inferno-os/commit/

unread,

Inferno on Ubuntu Noble Numbat

You probably need this for Linux too now: https://github.com/inferno-os/inferno-os/commit/

8/4/24

David Boddie

4/23/24

IWP9 slides and materials

I wasn't able to push my IWP9 slides to GitHub until late last week, so here they are for those

unread,

IWP9 slides and materials

I wasn't able to push my IWP9 slides to GitHub until late last week, so here they are for those

4/23/24

Alex (mtrkss), da...@boddie.org.uk2

3/13/24

Inferno on FreeBSD 14

mandag 11. mars 2024 kl. 19:08:20 UTC skrev axzaxzax: Hello, I've started trying to get Inferno

unread,

Inferno on FreeBSD 14

mandag 11. mars 2024 kl. 19:08:20 UTC skrev axzaxzax: Hello, I've started trying to get Inferno

3/13/24

Brian Stuart, … Charles Forsyth3

2/12/24

Re: [inferno-os] Seeking Assistance with MLFQ Implementation

a quick google of mlfq produced plausible answers to nearly all those questions, short of an

unread,

Re: [inferno-os] Seeking Assistance with MLFQ Implementation

a quick google of mlfq produced plausible answers to nearly all those questions, short of an

2/12/24

David Boddie

1/27/24

Common branch for Cortex-M ports

The Inferno ports to Cortex-M4 and M7 CPUs shared a fair amount of code, so I created a common

unread,

Common branch for Cortex-M ports

The Inferno ports to Cortex-M4 and M7 CPUs shared a fair amount of code, so I created a common

1/27/24

David Boddie

12/10/23

Builds of Inferno ports

A while ago, I started testing builds of various Inferno ports using GitHub's Actions

unread,

Builds of Inferno ports

A while ago, I started testing builds of various Inferno ports using GitHub's Actions

12/10/23

Caerwyn Jones, … Tharaneedharan Vilwanathan10

12/6/23

inferno 64 bit

Just to let you know, I was able to checkout and build Linux emu. I had to do some minor tweaks but

unread,

inferno 64 bit

Just to let you know, I was able to checkout and build Linux emu. I had to do some minor tweaks but

12/6/23

David Boddie

10/11/23

Re: [9fans] Thumb compiler oddity

On Mon Oct 02 09:07:41 2023, Richard Miller wrote: > > In the meantime, I turned off "

unread,

Re: [9fans] Thumb compiler oddity

On Mon Oct 02 09:07:41 2023, Richard Miller wrote: > > In the meantime, I turned off "

10/11/23

David Boddie

9/24/23

Thumb compiler oddity

I'm using the Inferno Thumb compiler, tc, to compile Inferno (unsurprisingly) and encountered a

unread,

Thumb compiler oddity

I'm using the Inferno Thumb compiler, tc, to compile Inferno (unsurprisingly) and encountered a

9/24/23

Giovanni Lostumbo, da...@boddie.org.uk2

8/31/23

OpenMoko port of Inferno

Is the idea to use the OpenMoko port as a base for the Hellaphone UI and apps, but on modern hardware

unread,

OpenMoko port of Inferno

Is the idea to use the OpenMoko port as a base for the Hellaphone UI and apps, but on modern hardware

8/31/23

David Boddie, Giovanni Lostumbo8

8/29/23

Preemption on ARM Thumb-2

Thanks for the links! I've been digging around in SparkFun's own support for the Arduino

unread,

Preemption on ARM Thumb-2

Thanks for the links! I've been digging around in SparkFun's own support for the Arduino

8/29/23

Giovanni Lostumbo, hiro2

8/26/23

browsers for Inferno

personally i like dillo. and thus i would approve. but it is not practical. inferno browsers are to

unread,

browsers for Inferno

personally i like dillo. and thus i would approve. but it is not practical. inferno browsers are to

8/26/23

Янис Эрикович, Caerwyn Jones2

4/3/23

Build without X-Windows

$ mk install CONF="emu-g" Is the command to build an emu without graphics. On Monday, April

unread,

Build without X-Windows

$ mk install CONF="emu-g" Is the command to build an emu without graphics. On Monday, April

4/3/23

da...@boddie.org.uk2

1/25/23

Listing directories with Limbo

Caerwyn provided the solution: I needed to open the file specified as an argument, not the contents

unread,

Listing directories with Limbo

Caerwyn provided the solution: I needed to open the file specified as an argument, not the contents

1/25/23

Caerwyn Jones, David Boddie2

12/19/22

Pico port

On Dec. 18 2022, Caerwyn Jones wrote: > Just want to let folks know I'm working on a Raspberry

unread,

Pico port

On Dec. 18 2022, Caerwyn Jones wrote: > Just want to let folks know I'm working on a Raspberry

12/19/22

David Boddie, Sam Ellicott5

12/10/22

Memory allocation

Something like that, I have one of the reference boards from espressif.

unread,

Memory allocation

Something like that, I have one of the reference boards from espressif.

12/10/22

chris glur

9/23/22

Re: [inferno-os] Digest for inferno-os@googlegroups.com - 4 updates in 2 topics

I never managed to install/run inferno; and `wily`, in the same family [for *nix] often crashed, as

unread,

Re: [inferno-os] Digest for inferno-os@googlegroups.com - 4 updates in 2 topics

I never managed to install/run inferno; and `wily`, in the same family [for *nix] often crashed, as

9/23/22