> Which is... fascinating. Switching out upstreams is one thing, but they're switching kernels in the process Switching kernel can actually be a pretty small t

> Which is... fascinating. Switching out upstreams is one thing, but they're switching kernels in the process Switching kernel can actually be a pretty small thing compared to switching distribution! I remember using Debian/FreeBSD, Debian userland on top of a FreeBSD kernel. For most people, I bet switching away from BSD to GNU userland would be a bigger deal than moving from the FreeBSD to Linux kernel.