[9fans] Re: [sources] 20070413: /rc/bin/cpurc.local

[Uriel <uriel99@gmail.com>]

On Sat, 14 Apr 2007 06:17:24, 9changes@cat-v.org <9changes@cat-v.org> wrote:
>         + # turn on cooperative scheduling (assuming it starts off)
>         + echo coop > /dev/reboot
>  [geoff] --rwxrwxr-x M 121 geoff sys 448 Apr 13 18:06 rc/bin/cpurc.local

What does this do? It is undocumented, and as far as I can tell it
toggles the coopsched var, which is used once in the scheduler code.

Would be nice to know what it does exactly, and why on earth it uses
/dev/reboot. Note that there is no way to check the state of the
variable, so one has no clue if one is enabling or disabling
'coopsched', whatever it does this interface is clearly far from
ideal.

While investigating this I noticed a couple of other undocumented
commands for /dev/reboot that seem more relevant and self-evident but
would still be nice to have documented.

Best wishes

uriel