echo_kernel
