update exokernel