Bring in Eos kernels