vdso-tools A collection of simple programs that do something with the vDSO/vvar regions. extract-vdso Extract the vDSO to the standard output extract-vvar Extract the vvar region to the standard output