@@ -4,7 +4,7 @@
(use-modules (gnu) (gnu bootloader u-boot))
(use-service-modules networking)
-(use-package-modules bootloaders screen ssh)
+(use-package-modules certs linux)
(operating-system
(host-name "komputilo")
@@ -17,8 +17,15 @@
(bootloader u-boot-beaglebone-black-bootloader)
(targets '("/dev/mmcblk1"))))
- ;; This module is required to mount the SD card.
- (initrd-modules (cons "omap_hsmmc" %base-initrd-modules))
+ ;; This less generic kernel image also contains the
+ ;; needed dtb files in its lib/dtbs subdirectory.
+ (kernel linux-libre-arm-omap2plus)
+
+ ;; TODO Try to fix HDMI, see https://elinux.org/Beagleboard:BeagleBoneBlack_HDMI
+ ;; (kernel-arguments '(""))
+
+ ;; No additional drivers are required.
+ (initrd-modules '())
(file-systems (cons (file-system
(device (file-system-label "my-root"))
@@ -43,15 +50,20 @@
%base-user-accounts))
;; Globally-installed packages.
- (packages (append (list screen openssh) %base-packages))
-
- (services (append (list (service dhcp-client-service-type)
- ;; mingetty does not work on serial lines.
- ;; Use agetty with board-specific serial parameters.
- (agetty-service
- (agetty-configuration
- (extra-options '("-L"))
- (baud-rate "115200")
- (term "vt100")
- (tty "ttyO0"))))
- %base-services)))
+ (packages (append (list nss-certs) %base-packages))
+
+ (services (append (list
+ ;; Ethernet cannot be plugged in after booting,
+ ;; other than that, networking works OK with this:
+ (service dhcp-client-service-type)
+ ;; For receiving the right time.
+ (service ntp-service-type)
+ ;; mingetty does not work on serial lines.
+ ;; Use agetty with board-specific serial parameters.
+ (agetty-service
+ (agetty-configuration
+ (extra-options '("-L"))
+ (baud-rate "115200")
+ (term "vt100")
+ (tty "ttyS0"))))
+ %base-services)))