On Nov 7, 2009, at 1:18 PM, Axel Dörfler wrote:
Currently, the only solution is to use the get_cpuid() function from userland. You can have a look at src/bin/sysinfo.c on how to retrieve the info you are interested in.
Thanks, I'll take a look. Konstantinos