fixup systemd boot errors, add sysrq support
[automated-distro-installer] / fai / config / basefiles /
drwxr-xr-x   ..
-rwxr-xr-x 7227 mk-basefile