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.