exopc, exokernel implementation