[□ | □] □
[□=□ | □] □
[□ | □ | □] □
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 .