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