diff options
Diffstat (limited to 'tools/gator/debian/gator-daemon.upstart')
| -rw-r--r-- | tools/gator/debian/gator-daemon.upstart | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/tools/gator/debian/gator-daemon.upstart b/tools/gator/debian/gator-daemon.upstart new file mode 100644 index 00000000000..1564efc5339 --- /dev/null +++ b/tools/gator/debian/gator-daemon.upstart @@ -0,0 +1,10 @@ +description "Load gator driver module and launch gator daemon" +author "Pawel Moll <pawel.moll@arm.com>" + +start on filesystem + +exec /usr/sbin/gatord -c /var/lib/gatord/configuration.xml + +pre-start script + modprobe -q gator || true +end script |