;; Esta es una configuración de sistema operativo generada
;; por el instalador gráfico.
;;
;; Una vez que la instalación está completada, puede aprender y
;; modificar este archivo para ajustar la configuración del sistema
;; y pasarlo a la instrucción 'guix system reconfigure' para efectuar
;; sus cambios.


;; Indica cuales módulos a importar para acceder las variables
;; utilizadas dentro de esta configuración.
(use-modules (gnu))
(use-modules (nongnu packages linux)
   (nongnu system linux-initrd))
(use-modules (nongnu packages firmware))
(use-service-modules cups desktop pm  networking ssh vpn virtualization xorg)
(operating-system
(kernel linux)
    (initrd microcode-initrd)
 (kernel-arguments '("modprobe.blacklist=b43,b43legacy,ssb,bcm43xx,brcm80211,brcmfmac,brcmsmac,bcma,mei,mei_me nowatchdog usb.autosuspend=-1 snd_intel_dspcfg.dsp_driver=1 video=1920x1080"))
    (kernel-loadable-modules (list broadcom-sta))
    (firmware (list linux-firmware))
  (locale "es_ES.utf8")
  (timezone "Europe/Madrid")
  (keyboard-layout (keyboard-layout "us" "intl"))
  (host-name "guix")

  ;; El listado de cuentas de usuario ('root' es implícito).
  (users (cons* (user-account
                  (name "anthk")
                  (comment "Anthk")
                  (group "users")
                  (home-directory "/home/anthk")
                  (supplementary-groups '("libvirt" "wheel" "netdev" "audio" "video")))
                %base-user-accounts))

  ;; Debajo está el listado de servicio del sistema.  Para buscar servicios
  ;; disponibles, ejecute 'guix system search PALABRA CLAVE' en un terminal.
  (services
   (append (list   
    (service mate-desktop-service-type)
(service nftables-service-type)
(service libvirt-service-type
         (libvirt-configuration
          (tls-port "16555")))
                 (service power-profiles-daemon-service-type)
                    (service bluetooth-service-type
			(bluetooth-configuration 
                          (auto-enable? #t) 
				(fast-connectable? #t)))
                (service tor-service-type)
;                 (set-xorg-configuration
 ;                 (xorg-configuration (keyboard-layout keyboard-layout)))

           ;; Este es el listado predet. de servicios al
           ;; que estamos agregados.
 ) %desktop-services))
  (bootloader (bootloader-configuration
                (bootloader grub-efi-bootloader)
                (targets (list "/boot/efi"))
                (keyboard-layout keyboard-layout)))
  (swap-devices (list (swap-space
                        (target (uuid
                                 "ddbdca7b-ab9d-4e2b-bb0d-bca566959aa5")))))

  ;; El listado de sistemas de archivo que obtiene "montado". Los
  ;; identificadores del sistema de archivos únicos allí ("UUIDs")
  ;; pueden ser obtenidos ejecutando en un terminal 'blkid'.
  (file-systems (cons* (file-system
                         (mount-point "/boot/efi")
                         (device (uuid "23A2-A1E5"
                                       'fat32))
                         (type "vfat"))
                       (file-system
                         (mount-point "/")
                         (device (uuid
                                  "ebaa33af-4bf2-49d0-adee-dae2fca11c9f"
                                  'ext4))
                         (type "ext4")) %base-file-systems)))