"An anykernel can be instantiated into units which virtualize the bare minimum support functionality for kernel drivers. We call these virtualized kernel instances rump kernels since they retain only a part of the original kernel."

Page 33, http://lib.tkk.fi/Diss/2012/isbn9789526049175/isbn9789526049...