That is useful information, thank you. If running upstream Linux with guix userspace is a somewhat well established path that solves the firmware problem. I'm

That is useful information, thank you. If running upstream Linux with guix userspace is a somewhat well established path that solves the firmware problem. I'm a little unclear on what the various distribution patches to the kernel usually achieve but I'm hopeful that moving from Debian's kernel package to upstream would work fine in practice. I should give it a try. Thanks