Re: RISC-V virtual machine does not boot anymore

To: Karsten Merker <merker@debian.org>
Cc: debian-riscv@lists.debian.org
Subject: Re: RISC-V virtual machine does not boot anymore
From: Giovanni Mascellani <gio@debian.org>
Date: Sun, 22 Mar 2020 19:47:26 +0100
Message-id: <[🔎] 1988e0a1-84cc-960c-2ac3-642bd5019366@debian.org>
In-reply-to: <[🔎] 20200322171924.GC13189@excalibur.cnev.de>
References: <05b03bf9-7c25-f27c-de57-dc6a7438153a@debian.org> <[🔎] 3f9fd99b-b307-ff32-83c8-134a52d4634e@debian.org> <[🔎] 20200322171924.GC13189@excalibur.cnev.de>

Il 22/03/20 18:19, Karsten Merker ha scritto:
> I have updated the description of how to setup a RISC-V virtual
> machine in the Debian wiki accordingly.

Great, thank you! :-)

Giovanni.
-- 
Giovanni Mascellani <g.mascellani@gmail.com>
Postdoc researcher - Université Libre de Bruxelles

Attachment: signature.asc
Description: OpenPGP digital signature

Reply to:

References:
- Re: RISC-V virtual machine does not boot anymore
  - From: Giovanni Mascellani <gio@debian.org>
- Re: RISC-V virtual machine does not boot anymore
  - From: Karsten Merker <merker@debian.org>

Prev by Date: Re: RISC-V virtual machine does not boot anymore
Previous by thread: Re: RISC-V virtual machine does not boot anymore
Index(es):
- Date
- Thread