Comment # 3 on bug 1202385 from Jiri Slaby

(In reply to Martin Li������ka from comment #2)
> > I.e. what tools read vdso.so if any at all?
> 
> Because dynamic linker loads it if I'm correct:
> 
> $ ldd `which echo`
> 	linux-vdso.so.1 (0x00007ffff7fc1000)
> 	libc.so.6 => /lib64/libc.so.6 (0x00007ffff7c00000)
> 	/lib64/ld-linux-x86-64.so.2 (0x00007ffff7fc3000)

Nope, IMO it's supposed to be loaded by the kernel from the built-in image (not
from disk). By load_elf_fdpic_binary() -> arch_setup_additional_pages() ->
map_vdso_randomized()