Re: How to configure Xorg to use [proprietary] Sis 771 driver on Guix?

[znavko]

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" <address@hidden> wrote:

> Hello,
> 
> Tobias Geerinckx-Rice <address@hidden> 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