Christopher Allan Webber (2016-02-12 20:47 +0300) wrote:
> Ludovic Courtès writes:
>
>> Jookia <[email protected]> skribis:
>>
>>> We should probably also blacklist kvm on Libreboot machines too somehow,
>>
>> A simple way to achieve this is with:
>>
>> (operating-system
>> ;; …
>> (kernel-arguments '("modprobe.blacklist=kvm-intel,kvm")))
>
> I tried this:
>
> (operating-system
> (kernel linux-libre-4.1)
> (kernel-arguments '("modprobe.blacklist=kvm-intel,kvm"))
> ...)
>
> The generated Grub configuration looks right:
>
> menuentry "GNU with Linux-Libre 4.1.17 (alpha)" {
> search --label --set guix
> linux
> /gnu/store/k3l4g22vypwniy0k3f8xha9l8p1s716d-linux-libre-4.1.17/bzImage
> --root=guix --system=/gnu/store/flq2702dmj6ppqc4iix6xgp0q364yl3l-system
> --load=/gnu/store/flq2702dmj6ppqc4iix6xgp0q364yl3l-system/boot
> modprobe.blacklist=kvm-intel,kvm
> initrd /gnu/store/flq2702dmj6ppqc4iix6xgp0q364yl3l-system/initrd
> }
>
> Unfortunately, after rebooting into it:
>
> cwebber@oolong:~$ lsmod | grep kvm
> kvm_intel 155648 0
> kvm 491520 1 kvm_intel
> cwebber@oolong:~$ ls /dev/kvm
> /dev/kvm
>
> Not sure why it didn't seem to do anything...
I had the same issue. Some time ago I tried:
(kernel-arguments '("modprobe.blacklist=pcspkr"))
but "pcspkr" was also listed in lsmod.
--
Alex
