Footnote
In fact, in
[LCC]
the authors make an argument about ``policy mechanism separation'' that is
remarkably similar the argument presented in this foil. They say ``the
extent to which resource allocation policies are entrusted to user-level
software determines in large part the degree of flexibility present in an
operating system.''