diff options
| author | Wolf Erik <Erik.Wolf@neuberger.net> | 2012-10-01 13:22:15 +0200 |
|---|---|---|
| committer | Michael Olbrich <m.olbrich@pengutronix.de> | 2012-10-04 12:06:35 +0200 |
| commit | 15292d07ba2c5e61f05112f977ad9ab1686f93ef (patch) | |
| tree | 7d2fa8fdd37f5e041190ac927718a61c1796a3b1 /rules/schedtool.in | |
| parent | 0aac5090c147668c31c65dae6876ac3fcfb759b7 (diff) | |
| download | ptxdist-15292d07ba2c5e61f05112f977ad9ab1686f93ef.tar.gz ptxdist-15292d07ba2c5e61f05112f977ad9ab1686f93ef.tar.xz | |
schedtool: add package
Signed-off-by: Erik Wolf <erik.wolf@neuberger.net>
Signed-off-by: Michael Olbrich <m.olbrich@pengutronix.de>
Diffstat (limited to 'rules/schedtool.in')
| -rw-r--r-- | rules/schedtool.in | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/rules/schedtool.in b/rules/schedtool.in new file mode 100644 index 000000000..0a814f58f --- /dev/null +++ b/rules/schedtool.in @@ -0,0 +1,7 @@ +## SECTION=shell_and_console + +config SCHEDTOOL + tristate + prompt "schedtool" + help + schedtool can be used to query or alter a process' scheduling policy under linux |