We are happy to announce the beta release of native port of Inferno OS to Raspberry Pi.
There are some important points reached for this stage:
1. Mouse driver
2. Working wm/wm
3. Default memory split 240/16
4. A lot of small fixes and polishing
Repository: http://code.google.com/p/inferno-rpi/
10 Comments
Cool, If i had a spare SD card i would test that right now. I am very interested in plan9 and inferno for a while now, are there any good resources about their inner workings?
About inner working: a book http://www.amazon.com/Principles-Operating-Systems-Applications-Advanced/dp/1418837695nnof n n n n n n n n n tn tn tnnttnttntttnttntt nttnttntttntttntttnttttBrian Stuart ntttntttnttnttnttn t n ttn tttn n n n n n tn tn tnnttnttntttnttntt nttnttntttntttntttnttttBrian Stuart
Inferno has nice properties in terms of amount of privileged code & how the system is very modular. I could mentally see how to turn it into a secure & reliable system. I can’t do the same with likes of Windows or Linux. So, nice work porting it to the Pi. :) Btw, someone did it for phones too:nnhttp://www.defcon.org/images/defcon-20/dc-20-presentations/Floren/DEFCON-20-Floren-Hellaphone.pdf
Hellaphone is hosted as I know, so it runs Linux-android, but it does not start java virtual machine, but starts inferno as application, so it is not really native. Native inferno allows to do some really exciting experiments with hardware and so
Would you bake a GPIO driver into the kernel by default? Lighting a LED by writing 1 into a control file would make recommending plan9/inferno for the rpi much easier ;)nn(This should probably be directed at Richard Miller primarily…)
That’s nice features, need to have a look
Nice. This reminds me of Linux in the .9 days. Maybe a conceptual “reboot” – I used to run Slackware Linux on 128M machines acceptably (with a GUI).
Thanks for the port! Now, I’ve got a few issues in running it. It boots fine, however the mouse doesn’t work. What I mean by this is when I try moving it after it boots, it disappears and only moves occasionally at the bottom right corner. Second, I get I/O errors if my keyboard and mouse are connected via the hub. Please help me get this fixed soon. I’m a fan of inferno and really want to start using it. You’ve made awesome progress – thank you!
You are welcome. Regarding the tracing mouse I may only recommend to modify “debug =1” in init() in “appl/lib/usb/mice.b”, recompile it, put on sd, and try to boot and see any debug is coming. Unfortunately I had problems with few mices – may depend usb host driver controller also. Try alse to use another mice.
Yeah it’s hosted for now. I was thinking in terms of porting it to something safer in the future or using a more secure Linux variant. My typical strategy is to use a microkernel with paravirtualized Linux for apps & trusted software on microkernel. See OKL4, Perseus Security Architecture, etc.