Changes to migrate to 32 bit arch (armv7l)
[anna.git] / example / dbos /
drwxr-xr-x   ..
drwxr-xr-x - workdir