[lemma=goal | □] □
[lemma=goal | □=□] □
[lemma=goal | □ & □] □
The goal of the Exokernel project is to remove abstractions from the kernel and export a low-level machine interface directly to applications . SPIN nearly has the same goal as the Exokernel .