Booting native kernels
61 views
Skip to first unread message
clasp126...@icebubble.org
Dec 7, 2021, 4:39:59 PM12/7/21
to infer...@googlegroups.com
Hey, has anyone had success booting any of the native Inferno kernels
(on any architecture) in, say, the last 10 years? I figured the x86
kernel would be most likely to work... but, so far, no luck.
(on any architecture) in, say, the last 10 years? I figured the x86
kernel would be most likely to work... but, so far, no luck.
Simon Waite
Dec 7, 2021, 4:49:28 PM12/7/21
to infer...@googlegroups.com
Have you tried one of the forks?
I hear good things about purgatorio.
Best regards
On 7 Dec 2021, at 21:40, clasp126...@icebubble.org wrote:
Hey, has anyone had success booting any of the native Inferno kernels
(on any architecture) in, say, the last 10 years? I figured the x86
kernel would be most likely to work... but, so far, no luck.
--
You received this message because you are subscribed to the Google Groups "inferno-os" group.
To unsubscribe from this group and stop receiving emails from it, send an email to inferno-os+...@googlegroups.com.
To view this discussion on the web, visit https://groups.google.com/d/msgid/inferno-os/86fsr4xfxh.fsf%40cmarib.ramside.
Message has been deleted
Message has been deleted
da...@boddie.org.uk
Dec 10, 2021, 7:26:45 AM12/10/21
to inferno-os
I think I got it working on actual (ancient) 32-bit Intel hardware. Certainly, I got it running under qemu.
The Raspberry Pi port works. You need to get it from a fork:
I brought some code over from Plan 9 to run Inferno on some MIPS32 hardware:
You're most likely to have success with a Raspberry Pi (original or Zero) though you might need to mess around a bit with microSD cards to get something that will boot. I wrote some scripts to help with that:
Feel free to ask if you need help getting started.
David
da...@boddie.org.uk
Dec 16, 2021, 7:33:31 AM12/16/21
to inferno-os
Just to add, I put together a build script and dropped it into GitLab's continuous integration system.
It should have generated a collection of files that can be put in a FAT partition on a (micro)SD card and booted on a Pi:
Well, I tested it on a Pi Zero and there were some problems, but it's there to be improved.
Brian Stuart
Dec 31, 2021, 4:55:38 PM12/31/21
to inferno-os
It's been a while since I last tried real hardware, but I just built a floppy image and booted it with qemu. If you want to try it, I've put the image up at
and I was able to run it with the command
qemu-system-i386 -fda inf_flop
It doesn't have a lot other than the shell, ls, cat, mount, and bind. But it does run.
BLS
Reply all
Reply to author
Forward
0 new messages