From mboxrd@z Thu Jan  1 00:00:00 1970
From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=)
Subject: bug#22633: Provide a kvm-less qemu / guix system vm
Date: Fri, 12 Feb 2016 10:02:01 +0100
Message-ID: <87oabm2tfa.fsf@gnu.org>
References: <87oabnqhv3.fsf@dustycloud.org>
	<20160211225009.GA4943@novena-choice-citizen.lan>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
Return-path: <bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org>
Received: from eggs.gnu.org ([2001:4830:134:3::10]:48525)
	by lists.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1aU9d4-0002za-II
	for bug-guix@gnu.org; Fri, 12 Feb 2016 04:03:07 -0500
Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1aU9d0-00021x-SP
	for bug-guix@gnu.org; Fri, 12 Feb 2016 04:03:06 -0500
Received: from debbugs.gnu.org ([208.118.235.43]:56345)
	by eggs.gnu.org with esmtp (Exim 4.71)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1aU9d0-00021d-PN
	for bug-guix@gnu.org; Fri, 12 Feb 2016 04:03:02 -0500
Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84)
	(envelope-from <Debian-debbugs@debbugs.gnu.org>) id 1aU9d0-0005YE-Gf
	for bug-guix@gnu.org; Fri, 12 Feb 2016 04:03:02 -0500
Sender: "Debbugs-submit" <debbugs-submit-bounces@debbugs.gnu.org>
Resent-Message-ID: <handler.22633.B22633.145526773621284@debbugs.gnu.org>
In-Reply-To: <20160211225009.GA4943@novena-choice-citizen.lan> (Jookia's
	message of "Fri, 12 Feb 2016 09:50:09 +1100")
List-Id: Bug reports for GNU Guix <bug-guix.gnu.org>
List-Unsubscribe: <https://lists.gnu.org/mailman/options/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guix>
List-Post: <mailto:bug-guix@gnu.org>
List-Help: <mailto:bug-guix-request@gnu.org?subject=help>
List-Subscribe: <https://lists.gnu.org/mailman/listinfo/bug-guix>,
	<mailto:bug-guix-request@gnu.org?subject=subscribe>
Errors-To: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
Sender: bug-guix-bounces+gcggb-bug-guix=m.gmane.org@gnu.org
To: Jookia <166291@gmail.com>
Cc: 22633@debbugs.gnu.org

Jookia <166291@gmail.com> skribis:

> We should probably also blacklist kvm on Libreboot machines too somehow,

A simple way to achieve this is with:

  (operating-system
    ;; =E2=80=A6
    (kernel-arguments '("modprobe.blacklist=3Dkvm-intel,kvm")))

But I guess =E2=80=98guix system vm=E2=80=99 will now fail.

We could change the two occurrences of =E2=80=98-enable-kvm=E2=80=99 to use=
 this flag if
and only if /dev/kvm exists (I think it doesn=E2=80=99t exist when the kvm
modules are not loaded.)

Thoughts?

Ludo=E2=80=99.