Well, on Guix it's the libre kernel, for the other distro it's the non-libre kernel. But my lspci output looked similar on Guix on the non-libre Linux 6.2.7
Best, Erik On Fri, Mar 24, 2023, at 17:49, Felix Lechner wrote: > Hi Erik, > > On Fri, Mar 24, 2023 at 9:44 AM Erik Giorgis <[email protected]> wrote: > > > > 00:02.0 VGA compatible controller: Intel Corporation Device a780 (rev 04) > > > > shouldn't the kernel take care of these devices? When on a different distro > > I get: > > > > 00:02.0 VGA compatible controller: Intel Corporation Raptor Lake-S UHD > > Graphics (rev 04) > > Are you running the linux-libre kernel, which is the default kernel in Guix? > > Kind regards, > Felix Lechner >
