3 ms·Indeed. We've been running RHEL kernels with a Debian userland for a looong time.by tenfingers 12y agoIndeed. We've been running RHEL kernels with a Debian userland for a looong time.