bug#27007: [PATCH 1/2] bootloader: Use menu-entry to define custom bootloader entries.

2017-06-06 Thread Mathieu Othacehe
Hi Ludo, > Do we still need ‘device-mount-point’ now? For the dual-boot use case, > I don’t see how this would be used. Nope, you're right it's not needed in . >> + (initrd (menu-entry-initrd menu-entry > > It’s weird to set ‘store-device’ and ‘store-mount-point’ here since > there’s no

bug#27007: [PATCH 1/2] bootloader: Use menu-entry to define custom bootloader entries.

2017-06-05 Thread Ludovic Courtès
Hi Mathieu, Mathieu Othacehe skribis: > * gnu/bootloader.scm (): New variable. Export associated getters, > This record is extracted from grub module. > * gnu/bootloader/extlinux.scm (extlinux-configuration-file): Use > menu-entry->boot-parameters to convert menu-entry records to > boot-para

bug#27007: [PATCH 1/2] bootloader: Use menu-entry to define custom bootloader entries.

2017-06-02 Thread Marius Bakke
Mathieu Othacehe writes: > But maybe there are other advantages not to run an initrd. CONFIG_MODULES=n reduces kernel attack surface significantly :-) signature.asc Description: PGP signature

bug#27007: [PATCH 1/2] bootloader: Use menu-entry to define custom bootloader entries.

2017-06-02 Thread Mathieu Othacehe
Hi ! > People apparently start other Linux distributions with it :) Yes because they use initrd only to mount root partition, then kernel is starting /sbin/init provided by systemd or other init mechanism. For people who's custom kernel is able to access root partition without loading any modul

bug#27007: [PATCH 1/2] bootloader: Use menu-entry to define custom bootloader entries.

2017-06-01 Thread Ludovic Courtès
Hello, Mathieu Othacehe skribis: >> For another future patch: Hmm, should we make this optional? I didn't have >> an initrd for many years. > > Well I tried to run GuixSD without initrd and it's not possible > yet. Besides mounting root partition, it's also used to start the > initial guile s

bug#27007: [PATCH 1/2] bootloader: Use menu-entry to define custom bootloader entries.

2017-06-01 Thread Danny Milosavljevic
Hi Mathieu, >Well I tried to run GuixSD without initrd and it's not possible yet. People apparently start other Linux distributions with it :) >a more consequent rework. Uuuh another person hit the boot-parameters usability problem. Let's get this patchset in and rework it later. How's the e

bug#27007: [PATCH 1/2] bootloader: Use menu-entry to define custom bootloader entries.

2017-06-01 Thread Mathieu Othacehe
Hi Danny, > For another future patch: Hmm, should we make this optional? I didn't have > an initrd for many years. Well I tried to run GuixSD without initrd and it's not possible yet. Besides mounting root partition, it's also used to start the initial guile script (/run/current-system/boot).

bug#27007: [PATCH 1/2] bootloader: Use menu-entry to define custom bootloader entries.

2017-05-31 Thread Danny Milosavljevic
Hi Mathieu, On Wed, 31 May 2017 09:23:27 +0200 Mathieu Othacehe wrote: > +(define-record-type* ... > + (initrd menu-entry-initrd)) ; file name of the initrd as a > gexp For another future patch: Hmm, should we make this optional? I didn't have an initrd for many years. > ---

bug#27007: [PATCH 1/2] bootloader: Use menu-entry to define custom bootloader entries.

2017-05-31 Thread Mathieu Othacehe
* gnu/bootloader.scm (): New variable. Export associated getters, This record is extracted from grub module. * gnu/bootloader/extlinux.scm (extlinux-configuration-file): Use menu-entry->boot-parameters to convert menu-entry records to boot-parameters. * gnu/bootloader/grub.scm (): Remove. (boot