diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2020-08-01 14:44:36 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2020-10-13 18:59:52 +0200 |
| commit | fc7735a27949755327024847e12dcc1b868bcb99 (patch) | |
| tree | 8f7ed16cdcc7a4cc34fd36c161f695d17ab9f632 /dashboard/config/linux/android-5.4.cmdline | |
| parent | 5ba0ebc3f2626a1fd95bf1ce16e886ebc66d8638 (diff) | |
dashboard/config: move OS configs into separate dirs
There are too many assorted things in the config dir now.
Split them per-OS.
For now we just copy them to simplify deployment.
When syzbot instances are switched to new configs,
we can remove the old ones.
Update #2171
Diffstat (limited to 'dashboard/config/linux/android-5.4.cmdline')
| -rw-r--r-- | dashboard/config/linux/android-5.4.cmdline | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/dashboard/config/linux/android-5.4.cmdline b/dashboard/config/linux/android-5.4.cmdline new file mode 100644 index 000000000..46858c875 --- /dev/null +++ b/dashboard/config/linux/android-5.4.cmdline @@ -0,0 +1,11 @@ +workqueue.watchdog_thresh=140 +nf-conntrack-ftp.ports=20000 +nf-conntrack-tftp.ports=20000 +nf-conntrack-sip.ports=20000 +nf-conntrack-irc.ports=20000 +nf-conntrack-sane.ports=20000 +vivid.n_devs=16 +vivid.multiplanar=1,2,1,2,1,2,1,2,1,2,1,2,1,2,1,2 +dummy_hcd.num=8 +binder.debug_mask=0 +panic_on_warn=0 |