Comment # 5 on bug 1202385 from Martin Li������ka

(In reply to Jiri Slaby from comment #3)
> (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()

Ah, thanks for the explanation!