tree 6827110eb50b3d20773d893298eaf751583c4b13
parent 3c7a49d0745a82845f017929eefa9ac1ad117355
author Richard Weinberger <richard@nod.at> 1427696056 +0200
committer Richard Weinberger <richard@nod.at> 1428865104 +0200

Remove execution domain support

All users of exec_domain are gone, now we can get rid
of that abandoned feature.
To not break existing userspace we keep a dummy
/proc/execdomains file which will always contain
"0-0     Linux                   [kernel]".

Signed-off-by: Richard Weinberger <richard@nod.at>