pine64.scm 2.7 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970717273747576
  1. ;;; GNU Guix --- Functional package management for GNU
  2. ;;; Copyright © 2020 Mathieu Othacehe <m.othacehe@gmail.com>
  3. ;;;
  4. ;;; This file is part of GNU Guix.
  5. ;;;
  6. ;;; GNU Guix is free software; you can redistribute it and/or modify it
  7. ;;; under the terms of the GNU General Public License as published by
  8. ;;; the Free Software Foundation; either version 3 of the License, or (at
  9. ;;; your option) any later version.
  10. ;;;
  11. ;;; GNU Guix is distributed in the hope that it will be useful, but
  12. ;;; WITHOUT ANY WARRANTY; without even the implied warranty of
  13. ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
  14. ;;; GNU General Public License for more details.
  15. ;;;
  16. ;;; You should have received a copy of the GNU General Public License
  17. ;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
  18. (define-module (gnu system images pine64)
  19. #:use-module (gnu bootloader)
  20. #:use-module (gnu bootloader u-boot)
  21. #:use-module (gnu image)
  22. #:use-module (gnu packages linux)
  23. #:use-module (guix platforms arm)
  24. #:use-module (gnu services)
  25. #:use-module (gnu services base)
  26. #:use-module (gnu system)
  27. #:use-module (gnu system file-systems)
  28. #:use-module (gnu system image)
  29. #:use-module (srfi srfi-26)
  30. #:export (pine64-barebones-os
  31. pine64-image-type
  32. pine64-barebones-raw-image))
  33. (define pine64-barebones-os
  34. (operating-system
  35. (host-name "vignemale")
  36. (timezone "Europe/Paris")
  37. (locale "en_US.utf8")
  38. (bootloader (bootloader-configuration
  39. (bootloader u-boot-pine64-lts-bootloader)
  40. (targets '("/dev/vda"))))
  41. (initrd-modules '())
  42. (kernel linux-libre-arm64-generic)
  43. (file-systems (cons (file-system
  44. (device (file-system-label "my-root"))
  45. (mount-point "/")
  46. (type "ext4"))
  47. %base-file-systems))
  48. (services (cons (service agetty-service-type
  49. (agetty-configuration
  50. (extra-options '("-L")) ; no carrier detect
  51. (baud-rate "115200")
  52. (term "vt100")
  53. (tty "ttyS0")))
  54. %base-services))))
  55. (define pine64-image-type
  56. (image-type
  57. (name 'pine64-raw)
  58. (constructor (lambda (os)
  59. (image
  60. (inherit (raw-with-offset-disk-image))
  61. (operating-system os)
  62. (platform aarch64-linux))))))
  63. (define pine64-barebones-raw-image
  64. (image
  65. (inherit
  66. (os+platform->image pine64-barebones-os aarch64-linux
  67. #:type pine64-image-type))
  68. (name 'pine64-barebones-raw-image)))
  69. ;; Return the default image.
  70. pine64-barebones-raw-image