linux-initrd: Delete files from the initrd ramfs when switching roots.
authorLudovic Courtès <ludo@gnu.org>
Tue, 6 May 2014 16:09:25 +0000 (18:09 +0200)
committerLudovic Courtès <ludo@gnu.org>
Tue, 6 May 2014 16:18:22 +0000 (18:18 +0200)
commit26a728eb091daf89a01986eac2d51dc8f0b58b6a
treec9da62bfb68720692bbb9b4d8c0604eed7487b3c
parent94e3029a834cb53a60dcef18556f8d207dea85cd
linux-initrd: Delete files from the initrd ramfs when switching roots.

* guix/build/linux-initrd.scm (switch-root): Delete file from the old
  root.  Chdir to / after 'chroot' call.  Re-open file descriptors 0, 1,
  and 2.
  (boot-system): Move 'loading' message after the 'switch-root' call.
* gnu/system.scm (operating-system-boot-script): Add loop that closes
  file descriptor before calling 'execl'.
gnu/system.scm
guix/build/linux-initrd.scm