add operatingsystem configuration for debian, keeping the existing as the default
drwxr-xr-x - manifests