mirror of
git://git.savannah.gnu.org/guix.git
synced 2023-12-14 03:33:07 +01:00
c7793b82ef
* gnu/packages/raspberry-pi.scm (grub-efi-bootloader-chain-raspi-64): New bootloader variable, capable to boot a Raspberry Pi over network or from a local storage. * gnu/system/examples/raspberry-pi-64.tmpl: New operating-system example. * gnu/system/examples/raspberry-pi-64-nfs-root.tmpl: New operating-system example for booting over network. * Makefile.am (EXAMPLES): Register the new files. Signed-off-by: Maxim Cournoyer <maxim.cournoyer@gmail.com>
369 lines
15 KiB
Scheme
369 lines
15 KiB
Scheme
;;; GNU Guix --- Functional package management for GNU
|
|
;;; Copyright © 2020 Danny Milosavljevic <dannym@scratchpost.org>
|
|
;;; Copyright © 2021 Stefan <stefan-guix@vodafonemail.de>
|
|
;;;
|
|
;;; 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 packages raspberry-pi)
|
|
#:use-module (gnu bootloader)
|
|
#:use-module (gnu bootloader grub)
|
|
#:use-module (gnu packages)
|
|
#:use-module (gnu packages admin)
|
|
#:use-module (gnu packages algebra)
|
|
#:use-module (gnu packages base)
|
|
#:use-module (gnu packages bash)
|
|
#:use-module (gnu packages bootloaders)
|
|
#:use-module (gnu packages commencement)
|
|
#:use-module (gnu packages cross-base)
|
|
#:use-module (gnu packages documentation)
|
|
#:use-module (gnu packages embedded)
|
|
#:use-module (gnu packages file)
|
|
#:use-module (gnu packages gcc)
|
|
#:use-module (gnu packages linux)
|
|
#:use-module (guix build-system copy)
|
|
#:use-module (guix build-system gnu)
|
|
#:use-module (guix download)
|
|
#:use-module (guix git-download)
|
|
#:use-module ((guix licenses) #:prefix license:)
|
|
#:use-module (guix packages)
|
|
#:use-module (guix gexp)
|
|
#:use-module (guix store)
|
|
#:use-module (guix monads)
|
|
#:use-module (guix utils)
|
|
#:use-module (srfi srfi-1)
|
|
#:use-module (srfi srfi-2)
|
|
#:use-module (srfi srfi-26)
|
|
#:use-module (ice-9 match)
|
|
#:export (make-raspi-bcm28-dtbs
|
|
raspi-config-file
|
|
raspi-custom-txt))
|
|
|
|
(define-public bcm2835
|
|
(package
|
|
(name "bcm2835")
|
|
(version "1.64")
|
|
(source (origin
|
|
(method url-fetch)
|
|
(uri (string-append
|
|
"http://www.airspayce.com/mikem/bcm2835/bcm2835-"
|
|
version ".tar.gz"))
|
|
(sha256
|
|
(base32
|
|
"06s81540iz4vsh0cm6jwah2x0hih79v42pfa4pgr8kcbv56158h6"))))
|
|
(build-system gnu-build-system)
|
|
(arguments
|
|
`(#:tests? #f)) ; Would need to be root
|
|
;; doc/html docs would not be installed anyway.
|
|
;(native-inputs
|
|
; `(("doxygen" ,doxygen)))
|
|
(synopsis "C library for Broadcom BCM 2835 as used in Raspberry Pi")
|
|
(description "This package provides a C library for Broadcom BCM 2835 as
|
|
used in the Raspberry Pi")
|
|
(home-page "http://www.airspayce.com/mikem/bcm2835/")
|
|
(supported-systems '("armhf-linux" "aarch64-linux"))
|
|
(license license:gpl3)))
|
|
|
|
(define raspi-gpio
|
|
(let ((commit "6d0769ac04760b6e9f33b4aa1f11c682237bf368")
|
|
(revision "1"))
|
|
(package
|
|
(name "raspi-gpio")
|
|
(version (git-version "0.1" revision commit))
|
|
(source (origin
|
|
(method git-fetch)
|
|
(uri (git-reference
|
|
(url "https://github.com/RPi-Distro/raspi-gpio")
|
|
(commit commit)))
|
|
(file-name (git-file-name name version))
|
|
(sha256
|
|
(base32
|
|
"1fia1ma586hwhpda0jz86j6i55andq0wncbhzhzvhf7yc773cpi4"))))
|
|
(build-system gnu-build-system)
|
|
(synopsis "State dumper for BCM270x GPIOs")
|
|
(description "Tool to help debug / hack at the BCM283x GPIO. You can dump
|
|
the state of a GPIO or (all GPIOs). You can change a GPIO mode and pulls (and
|
|
level if set as an output). Beware this tool writes directly to the BCM283x
|
|
GPIO reisters, ignoring anything else that may be using them (like Linux
|
|
drivers).")
|
|
(home-page "https://github.com/RPi-Distro/raspi-gpio")
|
|
(supported-systems '("armhf-linux" "aarch64-linux"))
|
|
(license license:bsd-3))))
|
|
|
|
(define %rpi-open-firmware-version "0.1")
|
|
(define %rpi-open-firmware-origin
|
|
(origin
|
|
(method git-fetch)
|
|
(uri (git-reference
|
|
(url "https://github.com/librerpi/rpi-open-firmware")
|
|
(commit "6be45466e0be437a1b0b3512a86f3d9627217006")))
|
|
(file-name "rpi-open-firmware-checkout")
|
|
(sha256
|
|
(base32 "1wyxvv62i3rjicg4hd94pzbgpadinnrgs27sk39md706mm0qixbh"))))
|
|
|
|
(define-public raspi-arm-chainloader
|
|
(package
|
|
(name "raspi-arm-chainloader")
|
|
(version %rpi-open-firmware-version)
|
|
(source %rpi-open-firmware-origin)
|
|
(build-system gnu-build-system)
|
|
(arguments
|
|
`(#:tests? #f ; No tests exist
|
|
#:phases
|
|
(modify-phases %standard-phases
|
|
(delete 'configure)
|
|
(add-before 'build 'setenv
|
|
(lambda _
|
|
(setenv "CC" "arm-none-eabi-gcc")
|
|
(setenv "CXX" "arm-none-eabi-g++")
|
|
(setenv "AS" "arm-none-eabi-as")
|
|
(setenv "OBJCOPY" "arm-none-eabi-objcopy")
|
|
(setenv "BAREMETAL" "1")
|
|
#t))
|
|
(add-after 'setenv 'build-tlsf
|
|
(lambda _
|
|
(with-directory-excursion "tlsf"
|
|
;; Note: Adding "-I../common -I../notc/include".
|
|
(invoke "make"
|
|
"CFLAGS=-mtune=arm1176jzf-s -march=armv6zk -mfpu=vfp -mfloat-abi=softfp -I../common -I../notc/include"))))
|
|
(add-after 'build-tlsf 'build-common
|
|
(lambda _
|
|
(with-directory-excursion "common"
|
|
(invoke "make"
|
|
;; Note: Adding "-I.. -I../notc/include".
|
|
"ARMCFLAGS=-mtune=arm1176jzf-s -march=armv6zk -marm -I.. -I../notc/include"))))
|
|
(add-after 'build-common 'build-notc
|
|
(lambda _
|
|
(with-directory-excursion "notc"
|
|
(invoke "make"))))
|
|
(add-after 'build-notc 'chdir
|
|
(lambda _
|
|
(chdir "arm_chainloader")
|
|
(substitute* "Makefile"
|
|
(("-I[.][.]/")
|
|
"-I../common -I../common/include -I../notc/include -I../")
|
|
(("-ltlsf")
|
|
"-L../common -L../notc -L../tlsf -ltlsf"))
|
|
#t))
|
|
(replace 'install
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
(libexec (string-append out "/libexec")))
|
|
(mkdir-p libexec)
|
|
(install-file "build/arm_chainloader.elf" libexec)
|
|
(install-file "build/arm_chainloader.map" libexec)
|
|
(install-file "build/arm_chainloader.bin" libexec)
|
|
#t))))))
|
|
(native-inputs
|
|
`(("binutils" ,(cross-binutils "arm-none-eabi"))
|
|
("gcc" ,gcc-arm-none-eabi-6)))
|
|
(inputs
|
|
`())
|
|
(synopsis "Raspberry Pi ARM bootloader")
|
|
(description "This package provides a bootloader for the ARM part of a
|
|
Raspberry Pi. Note: It does not work on Raspberry Pi 1.")
|
|
(home-page "https://github.com/librerpi/rpi-open-firmware/")
|
|
(license license:gpl2+)))
|
|
|
|
(define-public raspi-arm64-chainloader
|
|
(package
|
|
(inherit raspi-arm-chainloader)
|
|
(name "raspi-arm64-chainloader")
|
|
;; These native-inputs especially don't contain a libc.
|
|
(native-inputs
|
|
`(("bash" ,bash)
|
|
("binutils" ,binutils)
|
|
("coreutils" ,coreutils)
|
|
("file" ,file)
|
|
("ld-wrapper" ,ld-wrapper)
|
|
("make" ,gnu-make)
|
|
("gcc" ,gcc-6)
|
|
("locales" ,glibc-utf8-locales)))
|
|
(inputs
|
|
`())
|
|
(arguments
|
|
`(#:implicit-inputs? #f
|
|
,@(substitute-keyword-arguments (package-arguments raspi-arm-chainloader)
|
|
((#:phases phases)
|
|
`(modify-phases ,phases
|
|
(replace 'setenv
|
|
(lambda _
|
|
(setenv "AS" "as") ; TODO: as-for-target
|
|
(setenv "OBJCOPY" "objcopy")
|
|
(setenv "CC" ,(cc-for-target))
|
|
(setenv "CXX" ,(cc-for-target))
|
|
(setenv "BAREMETAL" "1")
|
|
#t))
|
|
(add-after 'setenv 'build-tlsf
|
|
(lambda _
|
|
(with-directory-excursion "tlsf"
|
|
(invoke "make"
|
|
"CFLAGS=-I../common -I../notc/include"))))
|
|
(replace 'build-common
|
|
(lambda _
|
|
(with-directory-excursion "common"
|
|
;; Autodetection uses the CC filename for detecting the architecture.
|
|
;; Since we are not using a cross-compiler, we side-step that.
|
|
(invoke "make"
|
|
"CFLAGS=-Ilib -I. -Iinclude -ffunction-sections -Wall -g -nostdlib -nostartfiles -ffreestanding -DBAREMETAL"))))
|
|
(replace 'build-notc
|
|
(lambda _
|
|
(with-directory-excursion "notc"
|
|
;; Autodetection uses the CC filename for detecting the architecture.
|
|
;; Since we are not using a cross-compiler, we side-step that.
|
|
(invoke "make"
|
|
"CFLAGS=-Iinclude -g"))))
|
|
(replace 'chdir
|
|
(lambda _
|
|
(chdir "arm64")
|
|
(substitute* "Makefile"
|
|
(("CFLAGS =")
|
|
"CFLAGS = -I../common -I../common/include -I../notc/include -I.. -DBAREMETAL")
|
|
(("-lcommon")
|
|
"-L../common -L../notc -lcommon"))
|
|
#t))
|
|
(replace 'install
|
|
(lambda* (#:key outputs #:allow-other-keys)
|
|
(let* ((out (assoc-ref outputs "out"))
|
|
(libexec (string-append out "/libexec")))
|
|
(mkdir-p libexec)
|
|
(install-file "arm64.elf" libexec)
|
|
(install-file "arm64.map" libexec)
|
|
(install-file "arm64.bin" libexec)
|
|
#t))))))))
|
|
(supported-systems '("aarch64-linux"))))
|
|
|
|
(define (raspi-config-file name content)
|
|
"Make a configuration file like config.txt for the Raspberry Pi firmware.
|
|
CONTENT can be a list of strings, which are concatenated with a newline
|
|
character. Alternatively CONTENT can be a string with the full file content."
|
|
(plain-file
|
|
name
|
|
(if (list? content)
|
|
(string-join content "\n" 'suffix)
|
|
content)))
|
|
|
|
(define-public %raspi-config-txt
|
|
;; A config.txt file to start the ARM cores up in 64-bit mode if necessary
|
|
;; and to include a dtb.txt, bootloader.txt, and a custom.txt, each with
|
|
;; separated configurations for the Raspberry Pi firmware.
|
|
(raspi-config-file
|
|
"config.txt"
|
|
`("# See https://www.raspberrypi.org/documentation/configuration/config-txt/README.md for details."
|
|
""
|
|
,(string-append "arm_64bit=" (if (target-aarch64?) "1" "0"))
|
|
"include dtb.txt"
|
|
"include bootloader.txt"
|
|
"include custom.txt")))
|
|
|
|
(define-public %raspi-bcm27-dtb-txt
|
|
;; A dtb.txt file to be included by the config.txt to ensure that the
|
|
;; downstream device tree files bcm27*.dtb will be used.
|
|
(raspi-config-file
|
|
"dtb.txt"
|
|
"upstream_kernel=0"))
|
|
|
|
(define-public %raspi-bcm28-dtb-txt
|
|
;; A dtb.txt file to be included by the config.txt to ensure that the
|
|
;; upstream device tree files bcm28*.dtb will be used.
|
|
;; This also implies the use of the dtoverlay=upstream.
|
|
(raspi-config-file
|
|
"dtb.txt"
|
|
"upstream_kernel=1"))
|
|
|
|
(define-public %raspi-u-boot-bootloader-txt
|
|
;; A bootloader.txt file to be included by the config.txt to load the
|
|
;; U-Boot bootloader.
|
|
(raspi-config-file
|
|
"bootloader.txt"
|
|
'("dtoverlay=upstream"
|
|
"enable_uart=1"
|
|
"kernel=u-boot.bin")))
|
|
|
|
(define (raspi-custom-txt content)
|
|
"Make a custom.txt file for the Raspberry Pi firmware.
|
|
CONTENT can be a list of strings, which are concatenated with a newline
|
|
character. Alternatively CONTENT can be a string with the full file content."
|
|
(raspi-config-file "custom.txt" content))
|
|
|
|
(define (make-raspi-bcm28-dtbs linux)
|
|
"Make a package with the device-tree files for Raspberry Pi models from the
|
|
kernel LINUX."
|
|
(package
|
|
(inherit linux)
|
|
(name "raspi-bcm28-dtbs")
|
|
(source #f)
|
|
(build-system copy-build-system)
|
|
(arguments
|
|
#~(list
|
|
#:phases #~(modify-phases %standard-phases (delete 'unpack))
|
|
#:install-plan
|
|
(list (list (search-input-directory %build-inputs
|
|
"lib/dtbs/broadcom/")
|
|
"." #:include-regexp '("/bcm....-rpi.*\\.dtb")))))
|
|
(inputs (list linux))
|
|
(synopsis "Device-tree files for a Raspberry Pi")
|
|
(description
|
|
(format #f "The device-tree files for Raspberry Pi models from ~a."
|
|
(package-name linux)))))
|
|
|
|
(define-public grub-efi-bootloader-chain-raspi-64
|
|
;; A bootloader capable to boot a Raspberry Pi over network via TFTP or from
|
|
;; a local storage like a micro SD card. It neither installs firmware nor
|
|
;; device-tree files for the Raspberry Pi. It just assumes them to be
|
|
;; existing in boot/efi in the same way that some UEFI firmware with ACPI
|
|
;; data is usually assumed to be existing on PCs. It creates firmware
|
|
;; configuration files and a bootloader-chain with U-Boot to provide an EFI
|
|
;; API for the final GRUB bootloader. It also serves as a blue-print to
|
|
;; create an a custom bootloader-chain with firmware and device-tree
|
|
;; packages or files.
|
|
(efi-bootloader-chain grub-efi-netboot-removable-bootloader
|
|
#:packages (list u-boot-rpi-arm64-efi-bin)
|
|
#:files (list %raspi-config-txt
|
|
%raspi-bcm27-dtb-txt
|
|
%raspi-u-boot-bootloader-txt)))
|
|
|
|
(define (make-raspi-defconfig arch defconfig sha256-as-base32)
|
|
"Make for the architecture ARCH a file-like object from the DEFCONFIG file
|
|
with the hash SHA256-AS-BASE32. This object can be used as the #:defconfig
|
|
argument of the function (modify-linux)."
|
|
(make-defconfig
|
|
(string-append
|
|
;; This is from commit 7838840 on branch rpi-5.18.y,
|
|
;; see https://github.com/raspberrypi/linux/tree/rpi-5.18.y/
|
|
;; and https://github.com/raspberrypi/linux/commit/7838840b5606a2051b31da4c598466df7b1c3005
|
|
"https://raw.githubusercontent.com/raspberrypi/linux/7838840b5606a2051b31da4c598466df7b1c3005/arch/"
|
|
arch "/configs/" defconfig)
|
|
sha256-as-base32))
|
|
|
|
(define-public %bcm2709-defconfig
|
|
(make-raspi-defconfig
|
|
"arm" "bcm2709_defconfig"
|
|
"1hcxmsr131f92ay3bfglrggds8ajy904yj3vw7c42i4c66256a79"))
|
|
|
|
(define-public %bcm2711-defconfig
|
|
(make-raspi-defconfig
|
|
"arm" "bcm2711_defconfig"
|
|
"1n7g5yq0hdp8lh0x6bfxph2ff8yn8zisdj3qg0gbn83j4v8i1zbd"))
|
|
|
|
(define-public %bcm2711-defconfig-64
|
|
(make-raspi-defconfig
|
|
"arm64" "bcm2711_defconfig"
|
|
"0k9q7qvw826v2hrp49xnxnw93pnnkicwx869chvlf7i57461n4i7"))
|
|
|
|
(define-public %bcmrpi3-defconfig
|
|
(make-raspi-defconfig
|
|
"arm64" "bcmrpi3_defconfig"
|
|
"1bfnl4p0ddx3200dg91kmh2pln36w95y05x1asc312kixv0jgd81"))
|