Has anybody ever had an issue troubleshooting a Xen crash which tainted the kernel?
There is a guide here: Tainted kernels — The Linux Kernel documentation
which allows you to determine the reason for the taint using “cat /proc/sys/kernel/tainted”
which returns the value “64” (taint requested by userspace application); however there is no further
log information, like the user application which caused the taint.