Sunny Fugate <fugate@unm.edu> writes: > I'm running on a recent Ubuntu 11.04. I'm aware of this, the issue is tracked as "examples/profiling/sched_switch.stp: semantic error: not accessible at this address (0xffffffff812f9f86): identifier '$prev' .." in http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=604761