Tools for anykernel