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