On Tuesday 12 June 2007, David Smith wrote:
I'm OK with that. From later in your email it looks like you are shooting for /lib/modules/`uname -r`/systemtap, which seems reasonable.
Without knowing a thing about systemtap, /lib/modules/`uname -r`/extra/systemtap could be better, that's what the "extra" dir exists for.