# VDSO (Virtual Dynamic Shared Object) files
# thomas@linuxmuster.net
# 20260504

vdso/vdso32.so
vdso/vdso64.so
