;;; GNU Guix --- Functional package management for GNU
;;; Copyright © 2020 Mathieu Othacehe <m.othacehe@gmail.com>
;;; Copyright © 2020 Danny Milosavljevic <dannym@scratchpost.org>
;;;
;;; This file is part of GNU Guix.
;;;
;;; GNU Guix is free software; you can redistribute it and/or modify it
;;; under the terms of the GNU General Public License as published by
;;; the Free Software Foundation; either version 3 of the License, or (at
;;; your option) any later version.
;;;
;;; GNU Guix is distributed in the hope that it will be useful, but
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
;;; GNU General Public License for more details.
;;;
;;; You should have received a copy of the GNU General Public License
;;; along with GNU Guix.  If not, see <http://www.gnu.org/licenses/>.

(define-module (gnu system images novena)
  #:use-module (gnu bootloader)
  #:use-module (gnu bootloader u-boot)
  #:use-module (gnu image)
  #:use-module (gnu packages linux)
  #:use-module (guix platforms arm)
  #:use-module (gnu services)
  #:use-module (gnu services base)
  #:use-module (gnu system)
  #:use-module (gnu system file-systems)
  #:use-module (gnu system image)
  #:use-module (srfi srfi-26)
  #:export (novena-barebones-os
            novena-image-type
            novena-barebones-raw-image))

(define novena-barebones-os
  (operating-system
    (host-name "vignemale")
    (timezone "Europe/Paris")
    (locale "en_US.utf8")
    (bootloader (bootloader-configuration
                 (bootloader u-boot-novena-bootloader)
                 (targets '("/dev/vda"))))
    (initrd-modules '())
    (kernel linux-libre-arm-generic)
    (kernel-arguments '("console=ttymxc1,115200"))
    (file-systems (cons (file-system
                          (device (file-system-label "my-root"))
                          (mount-point "/")
                          (type "ext4"))
                        %base-file-systems))))

(define novena-image-type
  (image-type
   (name 'novena-raw)
   (constructor (lambda (os)
                  (image
                   (inherit (raw-with-offset-disk-image))
                   (operating-system os)
                   (platform armv7-linux))))))

(define novena-barebones-raw-image
  (image
   (inherit
    (os+platform->image novena-barebones-os armv7-linux
                        #:type novena-image-type))
   (name 'novena-barebones-raw-image)))

;; Return the default image.
novena-barebones-raw-image
></tr>
<tr><td><span title='2019-05-07 12:18:44 +0200'>2019-05-07</span></td><td><a href='/guix/commit/tests/uuid.scm?id=6c5790a2faf8ffc401e43b13425a707394e40874'>uuid: 'fat-uuid-&gt;string' preserves leading zeros.</a><span class='msg-avail'>...<span class='msg-tooltip'>Fixes &lt;https://bugs.gnu.org/35582&gt;.
Reported by sirgazil &lt;sirgazil@zoho.com&gt;.

Previously, leading zeros would be removed, leading to an "invalid"
UUID:

  (uuid-&gt;string (uuid "00CA-050E" 'fat32))
  ⇒ "CA-50E"
  (string-&gt;uuid "CA-50E" 'fat32)
  ⇒ #f

* gnu/system/uuid.scm (fat-uuid-&gt;string): Pad digits with zeros.
* tests/uuid.scm ("uuid, FAT32, leading zeros preserved"): New test.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2018-05-19 00:14:52 +0200'>2018-05-19</span></td><td><a href='/guix/commit/tests/uuid.scm?id=263c9941a1e523b360ca9f42d1ed6b11e6e6e285'>uuid: 'uuid' returns #f when 'string-&gt;uuid' returns #f.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/system/uuid.scm (uuid): When STR is not a literal, return #f when
'string-&gt;uuid' returns #f.
* tests/uuid.scm ("uuid, dynamic value"): New test.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2017-10-06 14:16:23 +0200'>2017-10-06</span></td><td><a href='/guix/commit/tests/uuid.scm?id=0b12324284f3fbf378d363070f91b794058ae570'>uuid: Fix typo in 'uuid=?' test.</a><span class='msg-avail'>...<span class='msg-tooltip'>* tests/uuid.scm ("uuid=?"): Change to 'test-assert'.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2017-10-05 12:09:17 +0200'>2017-10-05</span></td><td><a href='/guix/commit/tests/uuid.scm?id=aed1f1b049f6e7ef9f2f2db58bdca6cd3effe94b'>uuid: Add 'uuid=?' and use it.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/system/uuid.scm (uuid=?): New procedure.
* tests/uuid.scm ("uuid=?"): New test.
* gnu/build/file-systems.scm (partition-uuid-predicate)
(luks-partition-uuid-predicate): Use it instead of 'bytevector=?'.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2017-09-22 18:40:57 +0200'>2017-09-22</span></td><td><a href='/guix/commit/tests/uuid.scm?id=8a7d81a5e23c4d59fbabf2550db32d4ba5572e4b'>uuid: Add a parser for FAT32 UUIDs.</a><span class='msg-avail'>...<span class='msg-tooltip'>* gnu/system/uuid.scm (%fat32-uuid-rx): New variable.
(string-&gt;fat32-uuid): New procedure.
(%uuid-parsers): Add it.
* tests/uuid.scm ("uuid, FAT32, format preserved"): New test.
</span></span></td><td>Ludovic Courtès</td></tr>
<tr><td><span title='2017-09-14 00:10:13 +0200'>2017-09-14</span></td><td><a href='/guix/commit/tests/uuid.scm?id=8f3b63b5d73c0b49139c8a20b7576732abfdeeb8'>uuid: Move tests to 'tests/uuid.scm'.</a><span class='msg-avail'>...<span class='msg-tooltip'>* tests/file-systems.scm ("uuid-&gt;string", "string-&gt;uuid")
("uuid", "uuid, syntax error"): Move to...
* tests/uuid.scm: ... here.  New file.
("uuid, ISO-9660, format preserved"): New test.
</span></span></td><td>Ludovic Courtès</td></tr>