Efficient support for incremental customization of OS services

Efficient, incremental customization of operating system (OS) services can be achieved using a two-fold strategy that consists of (i) an object-oriented architecture that relies on composition to facilitate code reuse and customization, and (ii) an OS implementation that places a minimal set of trusted functions into the kernel (all remaining functions are collocated with application code in user-level protection domains).<
>