Module: xenomai-3 Branch: master Commit: 0dd150ea0b1f2d0c366c7d084a17c7eb671fba08 URL: http://git.xenomai.org/?p=xenomai-3.git;a=commit;h=0dd150ea0b1f2d0c366c7d084a17c7eb671fba08
Author: Philippe Gerum <r...@xenomai.org> Date: Wed Feb 18 12:08:35 2015 +0100 doc/man/autotune: mention static CONFIG_* values for gravity --- doc/asciidoc/man1/autotune.adoc | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/doc/asciidoc/man1/autotune.adoc b/doc/asciidoc/man1/autotune.adoc index b244c96..28fd751 100644 --- a/doc/asciidoc/man1/autotune.adoc +++ b/doc/asciidoc/man1/autotune.adoc @@ -137,6 +137,18 @@ running the auto-tuner after each boot e.g: # echo "1728u 907k" > /proc/xenomai/clock/coreclck ------------------------------------------------------ +Alternatively, the gravity values can be statically defined in the +kernel configuration of the target kernel: + +- CONFIG_XENO_OPT_TIMING_SCHEDLAT should be assigned the user gravity + value. + +- CONFIG_XENO_OPT_TIMING_KSCHEDLAT should be assigned the kernel + gravity value. + +- CONFIG_XENO_OPT_TIMING_IRQLAT should be assigned the IRQ gravity + value. + AUTHOR ------- *autotune* was written by Philippe Gerum <r...@xenomai.org>. _______________________________________________ Xenomai-git mailing list Xenomai-git@xenomai.org http://www.xenomai.org/mailman/listinfo/xenomai-git
