;; -*- mode: scheme; -*-
;; This is an operating-system configuration template of a
;; 64-bit minimal system for a Raspberry Pi with local storage.

;; 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 expects the boot-partition to be mounted as boot/efi in the same way
;; as it is usually expeted on PCs with UEFI firmware.

(use-modules (gnu)
             (gnu artwork)
             (gnu system nss))
(use-service-modules admin
                     avahi
                     networking
                     ssh)
(use-package-modules certs
                     linux
                     raspberry-pi
                     ssh)

(define-public raspberry-pi-64
  (operating-system
    (host-name "raspberrypi-guix")
    (timezone "Europe/Berlin")
    (bootloader (bootloader-configuration
                 </td></tr></table>
<table class='tabs'><tr><td>
<a href='/guix/about/'>about</a><a href='/guix/'>summary</a><a href='/guix/refs/?id=7e9d9f28e997e7faad28cdd1c416be174d6986e7'>refs</a><a class='active' href='/guix/log/tests/processes.scm'>log</a><a href='/guix/tree/tests/processes.scm?id=7e9d9f28e997e7faad28cdd1c416be174d6986e7'>tree</a><a href='/guix/commit/tests/processes.scm?id=7e9d9f28e997e7faad28cdd1c416be174d6986e7'>commit</a><a href='/guix/diff/tests/processes.scm?id=7e9d9f28e997e7faad28cdd1c416be174d6986e7'>diff</a></td><td class='form'><form class='right' method='get' action='/guix/log/tests/processes.scm'>
<input type='hidden' name='id' value='7e9d9f28e997e7faad28cdd1c416be174d6986e7'/><select name='qt'>
<option value='grep'>log msg</option>
<option value='author'>author</option>
<option value='committer'>committer</option>
<option value='range'>range</option>
</select>
<input class='txt' type='search' size='10' name='q' value=''/>
<input type='submit' value='search'/>
</form>
</td></tr></table>
<div class='path'>path: <a href='/guix/log/?id=7e9d9f28e997e7faad28cdd1c416be174d6986e7'>root</a>/<a href='/guix/log/tests?id=7e9d9f28e997e7faad28cdd1c416be174d6986e7'>tests</a>/<a href='/guix/log/tests/processes.scm?id=7e9d9f28e997e7faad28cdd1c416be174d6986e7'>processes.scm</a></div><div class='content'><table class='list nowrap'><tr class='nohover'><th class='left'>Age</th><th class='left'>Commit message (<a href='/guix/log/tests/processes.scm?id=7e9d9f28e997e7faad28cdd1c416be174d6986e7&amp;showmsg=1'>Expand</a>)</th><th class='left'>Author</th></tr>
roup "users")
                   (supplementary-groups '("wheel" "netdev" "audio" "video"))
                   (home-directory "/home/pi"))
                  %base-user-accounts))
    (packages (cons* nss-certs
                     openssh
                     %base-packages))
    (services (cons* (service avahi-service-type)
                     (service dhcp-client-service-type)
                     (service ntp-service-type)
                     (service openssh-service-type
                              (openssh-configuration
                               (x11-forwarding? #t)))
                     %base-services))
    (name-service-switch %mdns-host-lookup-nss)))

raspberry-pi-64