[9fans] raspberrypi audio

2016-03-07 Thread Christophe DAMAS
Hello, I use 9pi image on raspberry pi (B+). Is there somewhere a driver for audio via HDMI ? Christophe

[9fans] Inferno (native)

2016-03-07 Thread G B
Following the steps in the book "Principles of Operating Systems: Design and Applications" I was able to build a native Inferno .iso image from a FreeBSD 9.3 i386 hosted Inferno. I've booted the Inferno .iso successfully in VirtualBox and get a shell, however it isn't complete, e.g., no Limbo, 8

Re: [9fans] Inferno hosted on Plan 9 for Raspberry Pi?

2016-03-07 Thread Charles Forsyth
On 5 March 2016 at 17:36, Brian Vito wrote: > I'm hoping to be able to get Inferno > running hosted on Plan 9 (which runs very well for me on the Raspberry Pi). > It looks as though I did that last July. It needs an update to asm-arm.s to save and restore floating-point status, if you're using f