OKE, <em>the Open Kernel Environment</em>, is an extension to the Linux *(OS) which allows _(user)s other than _(root) to load native and fully optimised code in the _(kernel). It is an example of a *(no-kernel) system. (Actually, this is not quite true: there are limitations on what can be loaded into the kernel, and there is still a kernel and a userspace.)

<span class="comment">[
Please, read carefully, we are consistent with our definition of _(no-kernel). The relevant excerpt:
<blockquote>
Insecure tasks, such as Unix/DOS programs running in an emulation box, or a low-level reflected implementation of the system being under development, will be isolated from the rest of the system <strong>by the traditional protection barrier</strong>, and be fully preemptively taskswitched.
</blockquote>
<br>-- _(MaD70)]</span>

The project uses a modified version of the _(Cyclone) language to produce verified C code that the kernel can safely load.

<ul class="implementations">
<li>_("the Open Kernel Environment"|http://www.liacs.nl/~herbertb/projects/oke/index.html)
</ul>
