Re: Guix under QEMU on Aarch64?

[James Geddes]

> On 20 Aug 2024, at 11:25, Marek Paśnikowski <marek@marekpasnikowski.pl> wrote:
> 
> James Geddes <james@jamesgeddes.org> writes:
> 
>> (NB: I have tried a few other things: `guix system init ... config.scm` to a 
>> new drive; and `guix
>> system image --image-type=qcow2 config.scm` (which fails for other reasons I 
>> don't understand).)
> 
> It would be nice to see those error messages.  You could have been
> closer to success than you thought.
> 
> I have no experience with virtual machines, but I did plenty of guix
> system inits — maybe your error is something I understand.
> 

I’d be very happy for any insight! The error message was:

```
# guix system image --image-type=qcow2 config.scm
guix system: error: EFI bootloader required with GPT partitioning
```

I’ll post the entire config.scm below in case that is useful. I don’t 
understand whether this error message is complaining about the absence of an 
EFI boot loader or of a GPT partition; but in either case I thought these were 
specified in the config.scm file.   

Thanks again for any thoughts,

James


config.scm follows (it is a modification of 
gnu/system/examples/bare-bones.tmpl):

;; -*- mode: scheme; -*-
;; This is an operating system configuration template
;; for a "bare bones" setup, with no X11 display server.

(use-modules (gnu)
             (gnu packages linux)
             (gnu system keyboard))
(use-service-modules networking ssh)
(use-package-modules screen ssh)

(operating-system
  (host-name “guix")
  (timezone "Europe/London")
  (locale "en_GB.utf8")
  (keyboard-layout
   (keyboard-layout "gb" "mac"))

  (bootloader (bootloader-configuration
               (bootloader grub-efi-bootloader)
               (targets '("/boot/efi/"))))


  (kernel
   (customize-linux
    #:configs '("CONFIG_EFI_STUB=y")))
  
  (kernel-arguments (list "console=ttyAMA0,115200" "nomodeset"))

  (file-systems (append
                 (list
                  (file-system
                   (device "/dev/vda2")
                   (mount-point "/")
                   (type "ext4"))
                  (file-system
                   (device "/dev/vda1")
                   (mount-point "/boot/efi")
                   (type "vfat")))
                 %base-file-systems))

  ;; This is where user accounts are specified.  The "root"
  ;; account is implicit, and is initially created with the
  ;; empty password.
  (users (cons (user-account
                (name "james")
                (comment "James")
                (group "users")

                ;; Adding the account to the "wheel" group
                ;; makes it a sudoer.  Adding it to "audio"
                ;; and "video" allows the user to play sound
                ;; and access the webcam.
                (supplementary-groups '("wheel")))
               %base-user-accounts))

  ;; Globally-installed packages.
  (packages (cons screen %base-packages))

  ;; Add services to the baseline: a DHCP client and an SSH
  ;; server.  You may wish to add an NTP service here.
  (services (append (list (service dhcp-client-service-type)
                          (service openssh-service-type
                                   (openssh-configuration
                                    (openssh openssh-sans-x)
                                    (port-number 2222))))
                    %base-services)))




James Geddes
e: james@jamesgeddes.org
t: +44 7973 223 571