initial commit

1 files changed, 355 insertions, 0 deletions

diff --git a/px/packages/linux.scm b/px/packages/linux.scm
new file mode 100644
index 0000000..bbb8f09
--- /dev/null
+++ b/px/packages/linux.scm
@@ -0,0 +1,355 @@
+(define-module (px packages linux)
+  #:use-module ((guix licenses) #:prefix license:)
+  #:use-module (guix build-system copy)
+  #:use-module (guix build-system gnu)
+  #:use-module (guix build-system linux-module)
+  #:use-module (guix download)
+  #:use-module (guix git-download)
+  #:use-module (guix gexp)
+  #:use-module (guix packages)
+  #:use-module (guix platform)
+  #:use-module (guix utils)
+  #:use-module (gnu packages base)
+  #:use-module (gnu packages bootloaders)
+  #:use-module (gnu packages compression)
+  #:use-module (gnu packages linux)
+  #:use-module (gnu system)
+  #:use-module (ice-9 match)
+  #:use-module (nongnu packages linux)
+  #:use-module (nonguix licenses)
+  #:export (%reterminal-kernel-modules))
+
+
+(define-public brcm80211-firmware
+  (package
+    (name "brcm80211-firmware")
+    (version "20210818-1")
+    (source (origin
+              (method url-fetch)
+              (uri (string-append 
+                    "http://ftp.debian.org/debian/pool/non-free/f/firmware-nonfree/firmware-brcm80211_"
+                    version "_all.deb"))
+              (sha256 (base32 "04wg9fqay6rpg80b7s4h4g2kwq8msbh81lb3nd0jj45nnxrdxy7p"))))
+    (build-system copy-build-system)
+    (native-inputs (list tar bzip2))
+    (arguments
+      '(#:phases
+        (modify-phases %standard-phases
+          (replace 'unpack
+            (lambda* (#:key inputs #:allow-other-keys)
+              (let ((source (assoc-ref inputs "source")))
+                (invoke "ar" "x" source)
+                (invoke "ls")
+                (invoke "tar" "-xvf" "data.tar.xz"))))
+          (add-after 'install 'make-symlinks
+            (lambda* (#:key outputs #:allow-other-keys)
+              (let ((out (assoc-ref outputs "out")))
+                (symlink (string-append out "/lib/firmware/brcm/brcmfmac43455-sdio.raspberrypi,4-model-b.txt")
+                         (string-append out "/lib/firmware/brcm/brcmfmac43455-sdio.txt"))
+                (symlink (string-append out "/lib/firmware/brcm/brcmfmac43455-sdio.bin")
+                         (string-append out "/lib/firmware/brcm/brcmfmac43455-sdio.raspberrypi,4-compute-module.bin"))))))
+        #:install-plan
+        '(("lib/firmware/" "lib/firmware"))))
+    (home-page "https://packages.debian.org/sid/firmware-brcm80211")
+    (synopsis "Binary firmware for Broadcom/Cypress 802.11 wireless cards")
+    (description "This package contains the binary firmware for wireless
+network cards supported by the brcmsmac or brcmfmac driver.")
+    (license license:expat)))
+  
+
+(define-public bluez-firmware
+  (let ((commit "31ad68831357d2019624004f1f0846475671088f")
+        (revision "1"))
+    (package
+      (name "bluez-firmware")
+      (version (git-version "0.0.0" revision commit))
+      (source
+        (origin
+          (method git-fetch)
+          (uri (git-reference
+                (url "https://github.com/RPi-Distro/bluez-firmware.git")
+                (commit commit)))
+          (file-name (git-file-name name version))
+          (sha256
+            (base32 "083s9n7kgyqjpr8jk6xw97fszzqpp3ndss3wjxn7c3snl47m9cy2"))))
+      (build-system copy-build-system)
+      (arguments
+        '(#:install-plan
+            '(("broadcom/BCM4345C0.hcd" "lib/firmware/brcm/BCM4345C0.hcd"))))
+      (home-page "https://github.com/RPi-Distro/bluez-firmware")
+      (synopsis "Bluetooth firmware")
+      (description "BlueZ - Bluetooth protocol stack for Linux")
+      (license license:expat))))
+
+
+(define-public linux-px
+  (corrupt-linux linux-libre-5.15))
+
+(define-public linux-firmware-px
+  (package
+    (inherit linux-firmware)
+    (name "linux-firmware")
+    (version "20210919")))
+
+
+(define (config->string options)
+  (string-join (map (match-lambda
+                     ((option . 'm)
+                      (string-append option "=m"))
+                     ((option . #t)
+                      (string-append option "=y"))
+                     ((option . #f)
+                      (string-append option "=n")))
+                    options)
+               "\n"))
+
+(define %default-extra-linux-options
+  `(;; Some very mild hardening.
+    ("CONFIG_SECURITY_DMESG_RESTRICT" . #t)
+    ;; All kernels should have NAMESPACES options enabled
+    ("CONFIG_NAMESPACES" . #t)
+    ("CONFIG_UTS_NS" . #t)
+    ("CONFIG_IPC_NS" . #t)
+    ("CONFIG_USER_NS" . #t)
+    ("CONFIG_PID_NS" . #t)
+    ("CONFIG_NET_NS" . #t)
+    ;; Various options needed for elogind service:
+    ;; https://issues.guix.gnu.org/43078
+    ("CONFIG_CGROUP_FREEZER" . #t)
+    ("CONFIG_BLK_CGROUP" . #t)
+    ("CONFIG_CGROUP_WRITEBACK" . #t)
+    ("CONFIG_CGROUP_SCHED" . #t)
+    ("CONFIG_CGROUP_PIDS" . #t)
+    ("CONFIG_CGROUP_FREEZER" . #t)
+    ("CONFIG_CGROUP_DEVICE" . #t)
+    ("CONFIG_CGROUP_CPUACCT" . #t)
+    ("CONFIG_CGROUP_PERF" . #t)
+    ("CONFIG_SOCK_CGROUP_DATA" . #t)
+    ("CONFIG_BLK_CGROUP_IOCOST" . #t)
+    ("CONFIG_CGROUP_NET_PRIO" . #t)
+    ("CONFIG_CGROUP_NET_CLASSID" . #t)
+    ("CONFIG_MEMCG" . #t)
+    ("CONFIG_MEMCG_SWAP" . #t)
+    ("CONFIG_MEMCG_KMEM" . #t)
+    ("CONFIG_CPUSETS" . #t)
+    ("CONFIG_PROC_PID_CPUSET" . #t)
+    ;; Allow disk encryption by default
+    ("CONFIG_DM_CRYPT" . m)
+    ;; Modules required for initrd:
+    ("CONFIG_NET_9P" . m)
+    ("CONFIG_NET_9P_VIRTIO" . m)
+    ("CONFIG_VIRTIO_BLK" . m)
+    ("CONFIG_VIRTIO_NET" . m)
+    ("CONFIG_VIRTIO_PCI" . m)
+    ("CONFIG_VIRTIO_BALLOON" . m)
+    ("CONFIG_VIRTIO_MMIO" . m)
+    ("CONFIG_FUSE_FS" . m)
+    ("CONFIG_CIFS" . m)
+    ("CONFIG_9P_FS" . m)))
+
+(define-public linux-raspberry-5.15
+  (package
+   (inherit linux-libre-5.15)
+   (name "linux-raspberry")
+   (version "5.15.32")
+   (source (origin
+            (method git-fetch)
+            (uri (git-reference
+                  (url "https://github.com/raspberrypi/linux")
+		  (commit "1.20220331")))
+            (file-name (string-append "linux-" version))
+            (sha256
+             (base32
+              "1k18cwnsqdy5ckymy92kp8czckzwgn8wn2zdibzrrg9jxrflx6vl"))))
+   (supported-systems '("aarch64-linux"))
+   (arguments
+    (substitute-keyword-arguments (package-arguments linux-libre-5.15)
+				  ((#:phases phases)
+				   #~(modify-phases #$phases
+
+						    (replace 'configure
+							     (lambda* (#:key inputs target #:allow-other-keys)
+								      ;; Avoid introducing timestamps
+								      (setenv "KCONFIG_NOTIMESTAMP" "1")
+								      (setenv "KBUILD_BUILD_TIMESTAMP" (getenv "SOURCE_DATE_EPOCH"))
+
+								      ;; Other variables useful for reproducibility.
+								      (setenv "KBUILD_BUILD_USER" "guix")
+								      (setenv "KBUILD_BUILD_HOST" "guix")
+
+								      ;; Set ARCH and CROSS_COMPILE.
+								      (let ((arch #$(platform-linux-architecture
+										     (lookup-platform-by-target-or-system
+										      (or (%current-target-system)
+											  (%current-system))))))
+									(setenv "ARCH" arch)
+									(format #t "`ARCH' set to `~a'~%" (getenv "ARCH"))
+
+									(when target
+									  (setenv "C_INCLUDE_PATH" (string-join
+												    (cdr (string-split (getenv "C_INCLUDE_PATH") #\:))
+												    ":"))
+
+									  (setenv "CPLUS_INCLUDE_PATH" (string-join
+													(cdr (string-split (getenv "CPLUS_INCLUDE_PATH") #\:))
+													":"))
+
+									  (setenv "LIBRARY_PATH" (string-join
+												  (cdr (string-split (getenv "LIBRARY_PATH") #\:))
+												  ":"))
+									  (setenv "CROSS_COMPILE" (string-append target "-"))
+									  (format #t "`CROSS_COMPILE' set to `~a'~%"
+										  (getenv "CROSS_COMPILE"))))
+								      (setenv "KERNEL" "kernel8")
+								      (invoke "make" "bcm2711_defconfig")
+								      (let ((port (open-file ".config" "a"))
+									    (extra-configuration #$(config->string %default-extra-linux-options)))
+									(display extra-configuration port)
+									(close-port port))
+
+								      ))))))))
+
+;;;
+;;; reTerminal related modules
+;;;
+
+(define-public bq24179-charger-linux-module
+  (package
+    (name "bq24179-charger-linux-module")
+    (version "0.1")
+    (source 
+      (file-append 
+        (origin
+          (method git-fetch)
+          (uri (git-reference
+                (url "https://github.com/Seeed-Studio/seeed-linux-dtoverlays.git")
+                (commit "589dab165f7a55eec0cc5fa25cc0bf892f4aa52c")))
+          (file-name (git-file-name name version))
+          (sha256
+            (base32 "002y8x0dmglhfgm60az6059jjnfm5q1zxdfp0b4s8dqybhjbdhb5")))
+		    "/modules/bq24179_charger"))
+    (build-system linux-module-build-system)
+    (arguments
+      (list #:tests? #f #:linux linux-raspberry-5.15))                ; no test suite, RPI Linux
+    (home-page "https://github.com/Seeed-Studio/seeed-linux-dtoverlays/tree/master/modules/bq24179_charger")
+    (synopsis "Linux kernel module for bq24179_charger found in Seeed Studio ReTerminal")
+    (description "This is the Linux kernel bq24179_charger driver")
+    (license license:gpl2)))
+
+(define-public lis3lv02d-linux-module
+  (package
+    (name "lis3lv02d-linux-module")
+    (version "0.1")
+    (source
+      (file-append 
+        (origin
+          (method git-fetch)
+          (uri (git-reference
+            (url "https://github.com/Seeed-Studio/seeed-linux-dtoverlays.git")
+            (commit "589dab165f7a55eec0cc5fa25cc0bf892f4aa52c")))
+            (file-name (git-file-name name version))
+          (sha256
+            (base32 "002y8x0dmglhfgm60az6059jjnfm5q1zxdfp0b4s8dqybhjbdhb5")))
+  		 "/modules/lis3lv02d"))
+    (build-system linux-module-build-system)
+    (arguments
+      (list #:tests? #f #:linux linux-raspberry-5.15))                ; no test suite, RPI Linux
+    (home-page "https://github.com/Seeed-Studio/seeed-linux-dtoverlays/tree/master/modules/lis3lv02d")
+    (synopsis "Linux kernel module for GROVE 3-Axis Digital Accelerometer found in Seed Studio ReTerminal")
+    (description "This is the Linux kernel GROVE 3-Axis Digital Accelerometer driver")
+    (license license:gpl2)))
+
+(define-public ltr30x-linux-module
+  (package
+    (name "ltr30x-linux-module")
+    (version "0.1")
+    (source
+      (file-append 
+        (origin
+          (method git-fetch)
+          (uri (git-reference
+            (url "https://github.com/Seeed-Studio/seeed-linux-dtoverlays.git")
+            (commit "589dab165f7a55eec0cc5fa25cc0bf892f4aa52c")))
+          (file-name (git-file-name name version))
+          (sha256 
+            (base32 "002y8x0dmglhfgm60az6059jjnfm5q1zxdfp0b4s8dqybhjbdhb5")))
+        "/modules/ltr30x"))
+    (build-system linux-module-build-system)
+    (arguments
+      (list #:tests? #f #:linux linux-raspberry-5.15))                ; no test suite, RPI Linux
+    (home-page "https://github.com/Seeed-Studio/seeed-linux-dtoverlays/tree/master/modules/ltr30x")
+    (synopsis "Linux kernel module for ltr30x ambient light and proximity sensor found in Seed Studio ReTerminal")
+    (description "This is the Linux kernel ltr30x ambient light and proximity sensor driver")
+    (license license:gpl2)))
+
+(define-public mipi_dsi-linux-module
+  (package
+    (name "mipi_dsi-linux-module")
+    (version "0.1")
+    (source
+      (file-append 
+        (origin
+          (method git-fetch)
+          (uri (git-reference
+            (url "https://github.com/Seeed-Studio/seeed-linux-dtoverlays.git")
+            (commit "589dab165f7a55eec0cc5fa25cc0bf892f4aa52c")))
+          (file-name (git-file-name name version))
+          (sha256
+            (base32 "002y8x0dmglhfgm60az6059jjnfm5q1zxdfp0b4s8dqybhjbdhb5")))
+        "/modules/mipi_dsi"))
+    (build-system linux-module-build-system)
+    (arguments
+      (list #:tests? #f #:linux linux-raspberry-5.15))                ; no test suite, RPI Linux
+    (home-page "https://github.com/Seeed-Studio/seeed-linux-dtoverlays/tree/master/modules/mipi_dsi")
+    (synopsis "Linux kernel module for MIPI-DSI panel with touch panel attached to I2C bus found in Seed Studio ReTerminal")
+    (description "This is a linux kernel driver for MIPI-DSI panel with touch panel attached to I2C bus.")
+    (license license:gpl2)))
+
+(define-public seeed-reterminal-dtoverlays
+  (package
+    (name "seeed-reterminal-dtoverlays")
+    (version "1.9")
+    (license license:gpl2)
+    (source
+        (file-append 
+          (origin
+            (method git-fetch)
+            (uri (git-reference
+              (url "https://github.com/Seeed-Studio/seeed-linux-dtoverlays.git")
+              (commit "589dab165f7a55eec0cc5fa25cc0bf892f4aa52c")))
+            (file-name (git-file-name name version))
+            (sha256
+              (base32 "002y8x0dmglhfgm60az6059jjnfm5q1zxdfp0b4s8dqybhjbdhb5")))
+          "/overlays/rpi"))
+    (build-system gnu-build-system)
+    (arguments
+      '(#:phases (modify-phases %standard-phases
+                    (delete 'configure)
+                    (add-before 'build 'set-prefix-in-makefile
+                      (lambda* (#:key outputs #:allow-other-keys)
+                        ;; Modify the makefile so that its
+                        ;; 'DEST' variable points to "out".
+                        (let ((out (assoc-ref outputs "out")))
+                          (substitute* "Makefile"
+                            (("DEST  :=.*")
+                            (string-append "DEST  := "
+                                            out "\n")))
+                          #true))
+                          )
+                      (add-before 'install 'create-dir
+                        (lambda* (#:key outputs #:allow-other-keys)
+                        (mkdir-p (assoc-ref outputs "out")))
+                      )
+                    ) #:tests? #f))
+    (native-inputs `(("dtc" ,dtc)))
+    (synopsis "Device Tree overlays for Seed Studio ReTerminal")
+    (description
+      "Device Tree overlays for Seed Studio ReTerminal")
+    (home-page "https://github.com/Seeed-Studio/seeed-linux-dtoverlays/")))
+
+
+(define %reterminal-kernel-modules
+  (list bq24179-charger-linux-module
+        lis3lv02d-linux-module
+        ltr30x-linux-module
+        mipi_dsi-linux-module))