Re: [PATCH] Updated the information about the rump kernels, and included

bug-hurd

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH] Updated the information about the rump kernels, and included

From:	Diego Nieto Cid
Subject:	Re: [PATCH] Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image.
Date:	Wed, 24 May 2023 16:39:55 -0300

El mié, 24 may 2023 a las 15:43, jbranso@dismail.de (<jbranso@dismail.de>) escribió:

+
+New test to see if the rump kernel works before you make the change
+permanent. Manually tweak your /boot/grub/grub.cfg like so:

Should that read "Now test" instead of "New test"?

Cheers!

[Prev in Thread]

Current Thread

[Next in Thread]

[PATCH] Updated information about the rump kernels, and included a guide on how to use them on the Debian qemu image., address@hidden, 2023/05/22
- Re: [PATCH] Updated information about the rump kernels, and included a guide on how to use them on the Debian qemu image., Sergey Bugaev, 2023/05/22
  - Re: [PATCH] Updated information about the rump kernels, and included a guide on how to use them on the Debian qemu image., Joshua Branson, 2023/05/22
    - Re: [PATCH] Updated information about the rump kernels, and included a guide on how to use them on the Debian qemu image., Amos Jeffries, 2023/05/22
- Re: [PATCH] Updated information about the rump kernels, and included a guide on how to use them on the Debian qemu image., Samuel Thibault, 2023/05/22
  - [PATCH] Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image., address@hidden, 2023/05/24
    - Re: [PATCH] Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image., Diego Nieto Cid <=
    - [PATCH] Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image., address@hidden, 2023/05/25
    - Re: [PATCH] Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image., Samuel Thibault, 2023/05/25
    - Re: [PATCH] Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image., Joshua Branson, 2023/05/25
    - [PATCH] hurd/running/qemu.mdwn: add recent debian sources to apt., address@hidden, 2023/05/25
    - Re: [PATCH] Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image., jbranso, 2023/05/24
- How to upgrade to bleeding edge Debian GNU/Hurd, jbranso, 2023/05/24
  - Re: How to upgrade to bleeding edge Debian GNU/Hurd, Samuel Thibault, 2023/05/24

Prev by Date: [PATCH] Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image.
Next by Date: Re: [PATCH] Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image.
Previous by thread: [PATCH] Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image.
Next by thread: [PATCH] Updated the information about the rump kernels, and included a guide on how to use them on the Debian qemu image.
Index(es):
- Date
- Thread