ACL2 = A Computational Logic for Applicative Common Lisp. It is
a Lisp sublanguage and a correctness prover for it.
svn path=/nixpkgs/trunk/; revision=16708
interface names, use udev's own firmware loader, and dropped the
sndMode option (udev puts all audio devices in the "audio" group, so
users can be added to that group if necessary).
svn path=/nixos/trunk/; revision=16692
util-linux-ng instead of e2fsprogs, blkid is in util-linux-ng, and
we need to manually create /dev/.udev prior to starting udevd for
some reason.
svn path=/nixos/trunk/; revision=16691
since we don't need it anymore. Patched the udev rules/helper
programs for CD-ROM symlink generation and firmware loading so that
we don't have to provide our own.
svn path=/nixpkgs/trunk/; revision=16684
anymore since the build process was very hacky. Instead
mount/umount looks for mount helpers in
/var/run/current-system/sw/sbin. It would be better to use an
environment variable, but that would be risky if mount is setuid
root.
* e2fsprogs: updated to 1.41.8. Don't build libuuid, libblkid
etc. anymore, since they have been moved to util-linux-ng.
* nfs-utils: updated to 1.2.0.
svn path=/nixpkgs/trunk/; revision=16682
* xine-lib: dropped the dependency on SDL, which is not really
necessary. (And it caused Phonon/KDE to depend on SDL.)
svn path=/nixpkgs/trunk/; revision=16680
machine containing a replica (minus the state) of the system
configuration. This is mostly useful for testing configuration
changes prior to doing an actual "nixos-rebuild switch" (or even
"nixos-rebuild test"). The VM can be started as follows:
$ nixos-rebuild build-vm
$ ./result/bin/run-*-vm
which starts a KVM/QEMU instance. Additional QEMU options can be
passed through the QEMU_OPTS environment variable
(e.g. QEMU_OPTS="-redir tcp:8080::80" to forward a host port to the
guest). The fileSystem attribute of the regular system
configuration is ignored (using mkOverride), because obviously we
can't allow the VM to access the host's block devices. Instead, at
startup the VM creates an empty disk image in ./<hostname>.qcow2 to
store the VM's root filesystem.
Building a VM in this way is efficient because the VM shares its Nix
store with the host (through a CIFS mount). However, because the
Nix store of the host is mounted read-only in the guest, you cannot
run Nix build actions inside the VM. Therefore the VM can only be
reconfigured by re-running "nixos-rebuild build-vm" on the host and
restarting the VM.
svn path=/nixos/trunk/; revision=16662
* Simplified the udev rules generation: merged nixRules into
services.udev.extraRules, and handle services.udev.extraRules using
services.udev.packages.
svn path=/nixos/trunk/; revision=16655
Michael Raskin