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)
Subject: bug#19160: closed (Re: bug#19160: GRUB background image not
 protected from GC)
Date: Thu, 04 Dec 2014 22:55:03 +0000

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

Your bug report

#19160: GRUB background image not protected from GC

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 19160 <at> debbugs.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: 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’.

[Message part 3 (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’.

Previous Next

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