Re: Intel 13700k iGPU not recognised

[Felix Lechner via]

Hi Erik,

On Fri, Mar 24, 2023 at 9:44 AM Erik Giorgis <egior...@egiorg.is> 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