Hi,
i modified bcm/ sources a bit, so now it supports "/dev/cputemp".
I keep my RPi in a case, i had to check temperature.
The patch is sent already:
http://plan9.bell-labs.com/sources/patch/bcm-cputemp/
I'm not sure if it is good enough, actually it is my first contact with
Plan9 (though i read about it long time ago). Having Plan9 port to RPi i
couldn't resist. :) Great job, thanks!

Greetings,
Krystian