[lemma=goal | tag=□] □
[lemma=goal | tag=DT] □
[lemma=goal | tag=IN] □
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 .