GNU bug report logs - #19160
GRUB background image not protected from GC

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: ludo <at> gnu.org (Ludovic Courtès)
Cc: tracker <at> debbugs.gnu.org
Subject: bug#19160: closed (GRUB background image not protected from GC)
Date: Thu, 04 Dec 2014 22:55:02 +0000

[Message part 1 (text/plain, inline)]

Your message dated Thu, 04 Dec 2014 23:54:00 +0100
with message-id <87vblrrppz.fsf <at> gnu.org>
and subject line Re: bug#19160: GRUB background image not protected from GC
has caused the debbugs.gnu.org bug report #19160,
regarding GRUB background image not protected from GC
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs <at> gnu.org.)


-- 
19160: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=19160
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: ludo <at> gnu.org (Ludovic Courtès)
To: bug-guix <at> gnu.org
Subject: GRUB background image not protected from GC
Date: Mon, 24 Nov 2014 09:04:07 +0100

GRUB’s background image is not protected from GC.  So it may be GC’d, in
which case GRUB falls back to text mode.

‘grub.cfg’ is not part of the ‘system’ derivation, so it needs to be
made a GC root somehow.  Possibly by passing it on the kernel command
line.

Ludo’.

[Message part 3 (message/rfc822, inline)]

From: ludo <at> gnu.org (Ludovic Courtès)
To: 19160-done <at> debbugs.gnu.org
Subject: Re: bug#19160: GRUB background image not protected from GC
Date: Thu, 04 Dec 2014 23:54:00 +0100

ludo <at> gnu.org (Ludovic Courtès) skribis:

> GRUB’s background image is not protected from GC.  So it may be GC’d, in
> which case GRUB falls back to text mode.

Fixed in 39d1f82.

Ludo’.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.