tree c4503b4b9826ba96498b3f436169d785345ed07d
parent f287cd46eec155b2715b57f2b6336c56e7dd02f5
author Nick Kralevich <nnk@google.com> 1414185949 -0700
committer The Android Automerger <android-build@google.com> 1414191915 -0700

allow system_server to set kernel scheduling priority

Addresses the following denial:

  avc: denied { setsched } for comm="system_server" scontext=u:r:system_server:s0 tcontext=u:r:kernel:s0 tclass=process permissive=0

It's not clear why system_server is adjusting the scheduling priority
of kernel processes (ps -Z | grep kernel). For now, allow the operation,
although this is likely a kernel bug.

Maybe fix bug 18085992.

Bug: 18085992
Change-Id: Ic10a4da63a2c392d90084eb1106bc5b42f95b855