_(SPIN | http://www.cs.washington.edu:80/research/projects/spin/www/) *(OS) from University of Washington, which allows applications to migrate code in _(kernel) space, implementing new functionality or replacing default policies. It's an example of _(no-kernel) system.
