From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mp2 ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by ms11 with LMTPS id mDcrLaCVv19KJAAA0tVLHw (envelope-from ) for ; Thu, 26 Nov 2020 11:46:40 +0000 Received: from aspmx1.migadu.com ([2001:41d0:2:4a6f::]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)) by mp2 with LMTPS id YPsWKaCVv183EAAAB5/wlQ (envelope-from ) for ; Thu, 26 Nov 2020 11:46:40 +0000 Received: from lists.gnu.org (lists.gnu.org [209.51.188.17]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by aspmx1.migadu.com (Postfix) with ESMTPS id 1700694051F for ; Thu, 26 Nov 2020 11:46:39 +0000 (UTC) Received: from localhost ([::1]:34646 helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1kiFjS-0001uK-QW for larch@yhetil.org; Thu, 26 Nov 2020 06:46:38 -0500 Received: from eggs.gnu.org ([2001:470:142:3::10]:38538) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kiFWg-00060S-1i for guix-devel@gnu.org; Thu, 26 Nov 2020 06:33:26 -0500 Received: from dd26836.kasserver.com ([85.13.145.193]:41774) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1kiFWb-0007Nw-8r; Thu, 26 Nov 2020 06:33:25 -0500 Received: from localhost (80-110-127-97.cgn.dynamic.surfer.at [80.110.127.97]) by dd26836.kasserver.com (Postfix) with ESMTPSA id 914853363423; Thu, 26 Nov 2020 12:33:15 +0100 (CET) Date: Thu, 26 Nov 2020 12:33:12 +0100 From: Danny Milosavljevic To: , Jan Nieuwenhuizen Subject: Xen hypervisor Message-ID: <20201126123312.4f12b8e1@scratchpost.org> X-Mailer: Claws Mail 3.17.7 (GTK+ 2.24.32; x86_64-unknown-linux-gnu) MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/mJODx2tOGPQgcsLl_N4KHYM"; protocol="application/pgp-signature"; micalg=pgp-sha512 Received-SPF: none client-ip=85.13.145.193; envelope-from=dannym@scratchpost.org; helo=dd26836.kasserver.com X-Spam_score_int: -25 X-Spam_score: -2.6 X-Spam_bar: -- X-Spam_report: (-2.6 / 5.0 requ) BAYES_00=-1.9, RCVD_IN_DNSWL_LOW=-0.7, SPF_HELO_NONE=0.001, SPF_NONE=0.001 autolearn=ham autolearn_force=no X-Spam_action: no action X-BeenThere: guix-devel@gnu.org X-Mailman-Version: 2.1.23 Precedence: list List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+larch=yhetil.org@gnu.org Sender: "Guix-devel" X-Migadu-Flow: inc X-Scanner: ns3122888.ip-94-23-21.eu Authentication-Results: aspmx1.migadu.com; dkim=none; dmarc=none; spf=pass (aspmx1.migadu.com: domain of guix-devel-bounces@gnu.org designates 209.51.188.17 as permitted sender) smtp.mailfrom=guix-devel-bounces@gnu.org X-Spam-Score: 0.39 X-TUID: 3bGKhgBwSU25 --Sig_/mJODx2tOGPQgcsLl_N4KHYM Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable Hi Janneke, with our (gnu bootloader grub) already supporting multiboot, it would be ea= sy for us to add official support for the Xen hypervisor & Linux. I've already packaged xen and it's ready to be used. In order to boot Xen, the grub config should read something like this: menuentry 'Guix with Xen Hypervisor' --class gnu-linux --class gnu --class = os --class xen { insmod part_msdos insmod ext2 set root=3D'(hd0,msdos1)' search --no-floppy --fs-uuid --set=3Droot c4291ab1-d3ad-4c70-ab97-e= 6c8cca0af2b echo 'Loading Xen 4.1-amd64 ...' multiboot /xen-4.1-amd64.gz placeholder =20 echo 'Loading Linux 3.10-3-amd64 ...' module /vmlinuz-3.10-3-amd64 placeholder root=3D/dev/mapper/disks-= root ro resume=3D/dev/mapper/disks-swap quiet echo 'Loading initial ramdisk ...' module /initrd.img-3.10-3-amd64 } Note especially that "multiboot" is "/xen-4.1-amd64.gz", and that "module" statements are used for the linux kernel and for the initrd. The work you have been doing for the Hurd already fetches both the "multibo= ot" and the "module" parameters from the boot-parameters via boot-parameters->menu-entry. But I can't find how I can set the multiboot-modules in my operating-system definition. Like, (operating-system (kernel (file-append xen "/boot/xen.gz")) (multiboot-modules (list linux-libre initrd))) (Or find where it is set for the Hurd in the first place) Also, how do I get guix's usual initrd into that multiboot-modules list ? Do you think it would make sense to adapt boot-parameters->menu-entry slightly so one could specify both a multiboot kernel and a linux kernel at the same time? Or would that be too magical? --Sig_/mJODx2tOGPQgcsLl_N4KHYM Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQEzBAEBCgAdFiEEds7GsXJ0tGXALbPZ5xo1VCwwuqUFAl+/kngACgkQ5xo1VCww uqXPOQf/Y47dADhJqL1GuexXZmhteua+zBDrPvB3GvjwSDxnAdLlXrUWpxusSxOa 5p0hHTCLqtErfIPmMkc4ZHc11Z4+wHQGnYL8QX5ZADhRrZWvCu9zmHn+E641gmKu wolW2Wl2s0FBgIlpCiILOR/LxkAY98oOk+3vASCUnMSzGPO2RBmRN6OE8+RKu4m9 01ZDYXu0RqCJDb7Ag+NbziZid5oGBaohXyK3FNhMTwbt6+YsXSNxi8aWnvB5S4Ed vPGpPivjSBrXmCpjw+9qaXwL3cqjgEi52hc1T/EfOexoPU7l15JW1WPU/njn6h9U iUbZKEEw8maK1lIbXeME7XclouBIAQ== =cKJp -----END PGP SIGNATURE----- --Sig_/mJODx2tOGPQgcsLl_N4KHYM--