Hello Guix!

Exciting times ahead for me, I've successfully booted Guix on a custom
kernel.

It works pretty well so far except for sound and touchpad support which
are missing.

On linux-libre:

--8<---------------cut here---------------start------------->8---
$ lspci -k
...
00:1f.3 Audio device: Intel Corporation Sunrise Point-LP HD Audio (rev 21)
	Subsystem: Xiaomi Device 1604
	Kernel driver in use: snd_hda_intel
	Kernel modules: snd_hda_intel, snd_soc_skl
--8<---------------cut here---------------end--------------->8---

I'm not sure where to get information about the Touchpad.  Well, my
laptop is a Xiaomi Air 13.

I've played with `make menuconfig` for a while and added a bunch of
Intel HD audio related modules,  loads of codecs, to no avail.

I guess I need more experience with the kernel.  Would anyone have some
tips or documentation pointers?

Even better: is there a way to derive the right .config from a working
kernel?

--
Pierre Neidhardt
https://ambrevar.xyz/