Re: grub not properly installing in GuixSD

2017-07-22 Thread Joshua Branson
So some new updates: I can properly boot guixSD in UEFI from the grub command prompt! Aka I chainload the operating system. Unfortunately I do not know how to chainload the OS and pass a kernel argument. I need to pass nomodeset. So I booted GuixSD in UEFI mode via (I'm writing from mem

Set GuixSD on Reiser4.

2017-07-22 Thread Dmitry Nikolaev
Hi. I recently wrote package definition for Linux with Reiser4 patch. (define (linux-nonfree-urls version) "Return a list of URLs for Linux-Nonfree VERSION." (list (string-append "https://www.kernel.org/pub/linux/kernel/v4.x/"; "linux-" version ".tar.xz"))) (define-public l

Re: Using patches from intermne, not from /gnu/packages/aux-files

2017-07-22 Thread Dmitry Nikolaev
On 29 June 2017 at 17:44, Ludovic Courtès wrote: > Hi Dmitry, > > Dmitry Nikolaev skribis: > > > I want to apply Reiser4 patch for my Linux > > > > https://reiser4.wiki.kernel.org/index.php/Main_Page > > https://sourceforge.net/projects/reiser4/files/ > reiser4-for-linux-4.x/reiser4-for-4.11.0.p

Re: grub gpt bios boot

2017-07-22 Thread Marius Bakke
buen ouanq writes: > Attempting to install GuixSD as I have before (upgrading to guile@2.2 was > being finicky, so I decided to just do a full fresh install), but today I > encounter this: > >> grub-install: error: > /gnu/store/..grub-2.02/lib/grub/x86_64-efi/modinfo.sh doesn't exist. Please > sp

grub gpt bios boot

2017-07-22 Thread buen ouanq
Attempting to install GuixSD as I have before (upgrading to guile@2.2 was being finicky, so I decided to just do a full fresh install), but today I encounter this: > grub-install: error: /gnu/store/..grub-2.02/lib/grub/x86_64-efi/modinfo.sh doesn't exist. Please specify --target or --directory. >