BEGIN /etc/config.scm 

;; This is an operating system configuration template
;; for a "desktop" setup with GNOME and Xfce where the
;; root partition is encrypted with LUKS.

(use-modules (gnu) (gnu system nss))
(use-service-modules desktop)
(use-package-modules certs gnome)

(operating-system
  (host-name "mikado")
  (timezone "Asia/Tokyo")
  (locale "ko_KR.UTF-8")

  ;; Assuming /dev/sdX is the target hard disk, and "my-root"
  ;; is the label of the target root file system.
  (bootloader (grub-configuration (device "/dev/sda")))

  ;; Specify a mapped device for the encrypted root partition.
  ;; The UUID is that returned by 'cryptsetup luksUUID'.
  (mapped-devices
   (list (mapped-device
          (source (uuid "c137bb21-baa2-ad13-c2425-5323addcfff0"))
          (target "dec-root")
          (type luks-device-mapping))))

  (file-systems (cons (file-system
                        (device "/dev/mapper/dec-root")
                        (title 'device)
                        (mount-point "/")
                        (type "ext4")
                        (dependencies mapped-devices))
                      %base-file-systems))

  (users (cons (user-account
                (name "kensuke")
                (comment "The owner of the system.")
                (group "users")
                (supplementary-groups '("wheel" "netdev"
                                        "audio" "video"))
                (home-directory "/home/kensuke"))
               %base-user-accounts))

  ;; This is where we specify system-wide packages.
  (packages (cons* nss-certs         ;for HTTPS access
                   gvfs              ;for user mounts
                   %base-packages))

  ;; Add GNOME and/or Xfce---we can choose at the log-in
  ;; screen with F1.  Use the "desktop" services, which
  ;; include the X11 log-in service, networking with Wicd,
  ;; and more.
  (services %desktop-services)

  ;; Allow resolution of '.local' host names with mDNS.
  (name-service-switch %mdns-host-lookup-nss))

END /etc/config.scm 



BEGIN /etc/fstab

# This file was generated from your GuixSD configuration.  Any changes
# will be lost upon reboot or reconfiguration.

none	/dev/pts	devpts	gid=996,mode=620	
tmpfs	/dev/shm	tmpfs	size=50%	
/gnu/store	/gnu/store	none	defaults	
cgroup	/sys/fs/cgroup	tmpfs	defaults	
cgroup	/sys/fs/cgroup/cpuset	cgroup	cpuset	
cgroup	/sys/fs/cgroup/cpu	cgroup	cpu	
cgroup	/sys/fs/cgroup/cpuacct	cgroup	cpuacct	
cgroup	/sys/fs/cgroup/memory	cgroup	memory	
cgroup	/sys/fs/cgroup/devices	cgroup	devices	
cgroup	/sys/fs/cgroup/freezer	cgroup	freezer	
cgroup	/sys/fs/cgroup/blkio	cgroup	blkio	
cgroup	/sys/fs/cgroup/perf_event	cgroup	perf_event	
cgroup	/sys/fs/cgroup/hugetlb	cgroup	hugetlb	
none	/run/systemd	tmpfs	mode=0755	
none	/run/user	tmpfs	mode=0755	
cgroup	/sys/fs/cgroup/elogind	cgroup	none,name=elogind	

END /etc/fstab



BEGIN /boot/grub.cfg

# This file was generated from your GuixSD configuration.  Any changes
# will be lost upon reconfiguration.

function setup_gfxterm {
  # Leave 'gfxmode' to 'auto'.
  insmod vbe
  insmod vga
  insmod video_bochs
  insmod video_cirrus
  insmod gfxterm
  terminal_output gfxterm
}

# Set 'root' to the partition that contains /gnu/store.
search --file --set /gnu/store/c777crlj5jjc8cdr6d5pa6nc3f8rl29l-grub-2.02beta3/share/grub/unicode.pf2

if loadfont /gnu/store/c777crlj5jjc8cdr6d5pa6nc3f8rl29l-grub-2.02beta3/share/grub/unicode.pf2; then
  setup_gfxterm
fi

insmod png
if background_image /gnu/store/cdpvgny9a44h1ks00xzzz04ivsy58sfn-grub-image.png; then
  set color_normal=light-gray/black
  set color_highlight=yellow/black
else
  set menu_color_normal=cyan/blue
  set menu_color_highlight=white/blue
fi

set default=0
set timeout=5
menuentry "GNU with Linux-Libre 4.8.15 (beta)" {
  search --file --set /gnu/store/y93g5j09z45lji80c9plvybi6lgvf59p-linux-libre-4.8.15/bzImage
  linux /gnu/store/y93g5j09z45lji80c9plvybi6lgvf59p-linux-libre-4.8.15/bzImage --root=/dev/mapper/dec-root --system=/gnu/store/k4i48sz4xaf4zvvcn13p31805i3gll8y-system --load=/gnu/store/k4i48sz4xaf4zvvcn13p31805i3gll8y-system/boot
  initrd /gnu/store/qp4px4ywf9mhwr4fhdfzg429x31xhxbj-base-initrd/initrd
}

END /boot/grub


BEGIN `mount`

none on /proc type proc (rw,relatime)
none on /dev type devtmpfs (rw,relatime,size=3916680k,nr_inodes=979170,mode=755)
none on /sys type sysfs (rw,relatime)
/dev/mapper/dec-root on / type ext4 (rw,relatime,data=ordered)
none on /dev/pts type devpts (rw,relatime,gid=996,mode=620,ptmxmode=000)
tmpfs on /dev/shm type tmpfs (rw,nosuid,nodev,relatime)
/dev/mapper/dec-root on /gnu/store type ext4 (ro,relatime,data=ordered)
cgroup on /sys/fs/cgroup type tmpfs (rw,relatime)
cgroup on /sys/fs/cgroup/cpuset type cgroup (rw,relatime,cpuset)
cgroup on /sys/fs/cgroup/cpu type cgroup (rw,relatime,cpu)
cgroup on /sys/fs/cgroup/cpuacct type cgroup (rw,relatime,cpuacct)
cgroup on /sys/fs/cgroup/memory type cgroup (rw,relatime,memory)
cgroup on /sys/fs/cgroup/devices type cgroup (rw,relatime,devices)
cgroup on /sys/fs/cgroup/freezer type cgroup (rw,relatime,freezer)
cgroup on /sys/fs/cgroup/blkio type cgroup (rw,relatime,blkio)
cgroup on /sys/fs/cgroup/perf_event type cgroup (rw,relatime,perf_event)
cgroup on /sys/fs/cgroup/hugetlb type cgroup (rw,relatime,hugetlb)
none on /run/systemd type tmpfs (rw,nosuid,nodev,noexec,relatime,mode=755)
none on /run/user type tmpfs (rw,nosuid,nodev,noexec,relatime,mode=755)
cgroup on /sys/fs/cgroup/elogind type cgroup (rw,relatime,release_agent=/gnu/store/16mnszb9wkipvzd0azxiimdxd7fhkzwh-elogind-219.14/libexec/elogind/logind-cgroups-agent,name=elogind)
tmpfs on /run/user/0 type tmpfs (rw,nosuid,nodev,relatime,size=784664k,mode=700)

END `mount`