configuration.nix

{ lib, config, pkgs, ... }:
{
        nixpkgs.config = {
                packageOverrides = pkgs: rec {
                        pixman = pkgs.stdenv.lib.overrideDerivation pkgs.pixman (oldAttrs: {
# bypass a gcc 4.9 bug
                                configureFlags = "--disable-arm-iwmmxt";
                        });
                };
        };
        services.xserver = {
                enable = true;
                displayManager.slim.enable = true; # adjust as needed, based on ram and disk available
                desktopManager.xfce.enable = false;
                desktopManager.xterm.enable = true;
                videoDrivers = [ "fbdev" ]; # the only driver on the pi that works
        };
}