;; This is an operating system configuration template
;; for a "bare bones" setup on Novena PVT.

(use-modules (gnu) (gnu bootloader u-boot))
(use-service-modules networking)
(use-package-modules bootloaders screen ssh linux)

;;; Note: Novena upstream uses Kernel 3.19

;;; TODO: SD card kernel module sdhci-esdhc-imx
(operating-system
  (host-name "novena")
  (timezone "Europe/Vienna")
  (locale "en_US.utf8")
  ; (kernel linux-libre-arm-generic)
  (kernel-arguments '("console=ttymxc1,115200"))

  (bootloader (bootloader-configuration
               (bootloader u-boot-novena-bootloader)
               (target "/dev/mmcblk0")))

  ;; This module is required to mount the SD card.
  ;(initrd-modules (cons "omap_hsmmc" %base-initrd-modules))

  (file-systems (cons (file-system
                        (device (file-system-label "my-root"))
                        (mount-point "/")
                        (type "ext4"))
                      %base-file-systems))

  ;; Note: root has empty password.
  (users (cons (user-account
                (name "dannym")
                (comment "Danny Milosavljevic")
                (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"
  (bootloader (bootloader-configuration
               (bootloader u-boot-novena-bootloader)
               (target "/dev/mmcblk0")))

  ;; This module is required to mount the SD card.
  ;(initrd-modules (cons "omap_hsmmc" %base-initrd-modules))

  (file-systems (cons (file-system
                        (device (file-system-label "my-root"))
                        (mount-point "/")
                        (type "ext4"))
                      %base-file-systems))

  ;; Note: root has empty password.
  (users (cons (user-account
                (name "dannym")
                (comment "Danny Milosavljevic")
                (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"
                                        "audio" "video")))
               %base-user-accounts))

  ;; Globally-installed packages.
  (packages (append (list screen openssh) %base-packages))

; Should be automatic if you specify console=
;                          (agetty-service
;                           (agetty-configuration
;                            (extra-options '("-L"))
;                            (baud-rate "115200")
;                            (term "vt100")
;                            (tty "ttyO0")))

  (services (append (list (service dhcp-client-service-type))
                    %base-services)))