Double Page Fault problem

[Leon]

Frank,

>> Q2: From the debug output - why does it not find library  
>> "libloader.s.so"?
>
> It's not a bug, only a message. The loader differs between binaries that
> are linked against the libloader.s.so and binaries that are not.

So, does the message simply state that the binary being loaded is not  
linked against the lib?
If so, the message is a very ambiguous since it could also mean, for a  
binary that is actually linked to the lib, that it could not load the lib  
 from the file provider.

Cheers
Leon