;;; GNU Guix --- Functional package management for GNU ;;; Copyright © 2014, 2015 Ludovic Courtès ;;; ;;; 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 . ;;; ;;; This file defines an operating system configuration for the demo virtual ;;; machine images that we build. ;;; (use-modules (gnu)) (use-service-modules desktop xorg networking avahi dbus) (use-package-modules linux xorg tor avahi) (operating-system (host-name "gnu") (timezone "Europe/Paris") (locale "en_US.utf8") (bootloader (grub-configuration (device "/dev/sda"))) (file-systems ;; We provide a dummy file system for /, but that's OK because the VM build ;; code will automatically declare the / file system for us. (cons* (file-system (mount-point "/") (device "dummy") (type "dummy")) ;; %fuse-control-file-system ; needs fuse.ko ;; %binary-format-file-system ; needs binfmt.ko %base-file-systems)) (users (list (user-account (name "guest") (group "users") (supplementary-groups '("wheel")) ; allow use of sudo (password "") (comment "Guest of GNU") (home-directory "/home/guest")))) (issue " This is an alpha preview of the GNU system. Welcome. This image features the GNU Guix package manager, which was used to build it (http://www.gnu.org/software/guix/). The init system is the GNU Shepherd (http://www.gnu.org/software/shepherd/). You can log in as 'guest' or 'root' with no password. ") (services (cons* (slim-service #:auto-login? #t #:default-user "guest") ;; QEMU networking settings. (static-networking-service "eth0" "10.0.2.10" #:name-servers '("10.0.2.3") #:gateway "10.0.2.2") (avahi-service) (dbus-service) (tor-service) %base-services)) (pam-services ;; Explicitly allow for empty passwords. (base-pam-services #:allow-empty-passwords? #t)) (packages (cons* strace tor torsocks xterm avahi %base-packages))) ine64-lts-bootloader....Mathieu Othacehe 2019-10-18gnu: Add u-boot-firefly-rk3399....Vagrant Cascadian 2019-10-18gnu: Add u-boot-rock64-rk3328....Vagrant Cascadian 2019-10-18gnu: Add u-boot-rockpro64-rk3399...Caliph Nomble 2019-04-29gnu: u-boot: Update to 2019.04....Vagrant Cascadian 2018-11-22gnu: Add u-boot-pinebook....Vagrant Cascadian 2018-11-18bootloader: De-monadify configuration file generators....Ludovic Courtès 2018-09-14gnu: Rename "banana-pi" to "bananapi"....Danny Milosavljevic 2018-05-29system: Add u-boot-puma-rk3399....Vagrant Cascadian 2018-05-18system: Add u-boot-pine64-plus installer....Vagrant Cascadian 2018-05-11system: Add u-boot-novena installer....Vagrant Cascadian 2018-05-11system: Add wandboard installer....Vagrant Cascadian 2018-05-11system: Add mx6cuboxi installer....Vagrant Cascadian