{ 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
};
}