Mark, this is my lspci, lsmod, guix describe: # lspci
00:00.0 Host bridge: Silicon Integrated Systems [SiS] 671MX 00:01.0 PCI bridge: Silicon Integrated Systems [SiS] AGP Port (virtual PCI-to-PCI bridge) 00:02.0 ISA bridge: Silicon Integrated Systems [SiS] SiS968 [MuTIOL Media IO] (rev 01) 00:02.5 IDE interface: Silicon Integrated Systems [SiS] 5513 IDE Controller (rev 01) 00:03.0 USB controller: Silicon Integrated Systems [SiS] USB 1.1 Controller (rev 0f) 00:03.1 USB controller: Silicon Integrated Systems [SiS] USB 1.1 Controller (rev 0f) 00:03.3 USB controller: Silicon Integrated Systems [SiS] USB 2.0 Controller 00:05.0 IDE interface: Silicon Integrated Systems [SiS] SATA Controller / IDE mode (rev 03) 00:06.0 PCI bridge: Silicon Integrated Systems [SiS] PCI-to-PCI bridge 00:07.0 PCI bridge: Silicon Integrated Systems [SiS] PCI-to-PCI bridge 00:0f.0 Audio device: Silicon Integrated Systems [SiS] Azalia Audio Controller 00:1f.0 PCI bridge: Silicon Integrated Systems [SiS] PCI-to-PCI bridge 01:00.0 VGA compatible controller: Silicon Integrated Systems [SiS] 771/671 PCIE VGA Display Adapter (rev 10) 02:00.0 Network controller: Qualcomm Atheros AR9285 Wireless Network Adapter (PCI-Express) (rev 01) 03:00.0 Ethernet controller: Realtek Semiconductor Co., Ltd. RTL8111/8168/8411 PCI Express Gigabit Ethernet Controller (rev 01) # lsmod Module Size Used by fuse 114688 2 ccm 20480 9 uvcvideo 98304 0 videobuf2_vmalloc 20480 1 uvcvideo videobuf2_memops 20480 1 videobuf2_vmalloc videobuf2_v4l2 24576 1 uvcvideo videobuf2_common 45056 2 videobuf2_v4l2,uvcvideo videodev 204800 3 videobuf2_v4l2,uvcvideo,videobuf2_common media 53248 4 videodev,videobuf2_v4l2,uvcvideo,videobuf2_common joydev 24576 0 usbmouse 16384 0 arc4 16384 2 ath9k 155648 0 ath9k_common 24576 1 ath9k ath9k_hw 479232 2 ath9k_common,ath9k coretemp 20480 0 ath 32768 3 ath9k_common,ath9k,ath9k_hw mac80211 843776 1 ath9k snd_hda_codec_realtek 114688 1 snd_hda_codec_generic 77824 1 snd_hda_codec_realtek ledtrig_audio 16384 2 snd_hda_codec_generic,snd_hda_codec_realtek cfg80211 704512 4 ath9k_common,ath9k,ath,mac80211 snd_hda_intel 45056 3 snd_hda_codec 135168 3 snd_hda_codec_generic,snd_hda_intel,snd_hda_codec_realtek snd_hda_core 90112 4 snd_hda_codec_generic,snd_hda_intel,snd_hda_codec,snd_hda_codec_realtek snd_hwdep 20480 1 snd_hda_codec snd_pcm 110592 3 snd_hda_intel,snd_hda_codec,snd_hda_core input_leds 16384 0 psmouse 151552 0 r8169 81920 0 serio_raw 20480 0 realtek 20480 1 snd_timer 40960 1 snd_pcm snd 86016 13 snd_hda_codec_generic,snd_hwdep,snd_hda_intel,snd_hda_codec,snd_hda_codec_realtek,snd_timer,snd_pcm soundcore 16384 1 snd asus_laptop 32768 0 sparse_keymap 16384 1 asus_laptop input_polldev 20480 1 asus_laptop video 45056 1 asus_laptop mac_hid 16384 0 sis_agp 16384 1 virtio_rng 16384 0 virtio_console 32768 0 virtio_net 57344 0 virtio_blk 20480 0 virtio_balloon 24576 0 virtio_pci 24576 0 virtio 16384 6 virtio_rng,virtio_console,virtio_balloon,virtio_pci,virtio_blk,virtio_net virtio_ring 32768 6 virtio_rng,virtio_console,virtio_balloon,virtio_pci,virtio_blk,virtio_net isci 143360 0 libsas 81920 1 isci scsi_transport_sas 40960 2 isci,libsas pata_atiixp 16384 0 pata_acpi 16384 0 nls_iso8859_1 16384 0 wp512 36864 0 serpent_generic 32768 0 xts 16384 0 dm_crypt 40960 0 hid_apple 16384 0 hid_generic 16384 0 usbhid 53248 0 hid 131072 4 usbhid,hid_apple,hid_generic uas 24576 0 usb_storage 69632 1 uas ahci 40960 0 libahci 32768 1 ahci sata_sis 16384 2 # guix describe Generation 2 Jun 17 2019 08:50:09 (current) guix 0bc010d repository URL: https://git.savannah.gnu.org/git/guix.git branch: master commit: 0bc010dacded4d89aa39f2d37fe75414b69b680e June 17, 2019 4:04 PM, "Mark H Weaver" <m...@netris.org> wrote: > Hello, > > Tobias Geerinckx-Rice <m...@tobias.gr> writes: > >> On a more positive note: have you looked at >> >> https://aur.archlinux.org/packages/xf86-video-sisimedia >> (or https://aur.archlinux.org/packages/xf86-video-sis)? > > Guix already has 'xf86-video-sis', and it's already included in > %default-xorg-modules in (gnu services xorg). So, now we just need to > find out why it's not working. Maybe one of the other video modules > guesses that it can support the hardware, but it actually fails? In > that case, it might help to move 'xf86-video-sis' higher up in the list > of modules to try. > > Regards, > Mark