Updated exokernel description.