Re: Initializing a 64bit system using guix on a 32bit OS

[Alex Kost <alezost@gmail.com>]

Ludovic Courtès (2015-05-22 16:28 +0300) wrote:

> Alex Kost <alezost@gmail.com> skribis:
[...]
>> So I'm wondering is there a way to init a 64-bit system from a 32-bit
>> one or perhaps it's just not possible?
>
> It actually is possible, but a little bit trickier.  Mark did it a few
> weeks ago, though in a slightly different context.  The following should
> work:
>
>   1. Install an i686 GuixSD, simply with ‘guix system init’, but use an
>      x86_64 kernel.  To do that, you need to explicitly ask for an
>      x86_64 kernel and Guix (so that the daemon accepts to build x86_64
>      things) in the OS config:
>
>        (define linux-libre-x86_64
>          (package (inherit linux-libre)
>            (arguments `(#:system "x86_64-linux"
>                         ,@(package-arguments linux-libre)))))
>
>        (define guix-x86_64
>          (package (inherit guix)
>            (arguments `(#:system "x86_64-linux"
>                         ,@(package-arguments guix)))))
>
>        (define %my-services
>          ;; Make sure the ‘guix-daemon’ services uses ‘guix-x86_64’.
>          (map (lambda (mservice)
>                 (mlet %store-monad ((service mservice))
>                   (if (memq 'guix-daemon (service-provision service))
>                       (guix-daemon #:guix guix-x86_64)
>                       (return service))))
>               %base-services))
>
>        (operating-system
>          ;; ...
>          (kernel linux-libre-x86_64)
>          (services %my-services))
>
>      Normally you’ll get the x86_64 kernel and Guix from hydra.gnu.org,
>      so no problem.  The rest of the user-land will still be 32-bit.
>
>   2. Boot into the new system, and from there run ‘guix system
>      reconfigure’ with a cleaned up OS config.
>
> Let us know how it goes!

Mark and Ludovic, thank you very much!  Eventually I installed a 64-bit
system from a 32-bit Guix, based on your notes.

Guix is great!  Ave Guix!!

-- 
Alex