2015-08-23 00:48:35 +00:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
2016-10-20 18:54:38 +00:00
|
|
|
with import <stockholm/lib>;
|
2015-08-23 00:48:35 +00:00
|
|
|
{
|
|
|
|
|
|
|
|
imports = [ ./tp-x2x0.nix ];
|
2016-05-02 15:37:14 +00:00
|
|
|
boot = {
|
2016-10-27 12:55:50 +00:00
|
|
|
# tp-smapi is not supported bt x230 anymore
|
|
|
|
kernelModules = [
|
|
|
|
"kvm-intel"
|
|
|
|
"thinkpad_ec"
|
2017-02-18 04:11:59 +00:00
|
|
|
"acpi_call"
|
2016-10-27 12:55:50 +00:00
|
|
|
# "thinkpad_acpi"
|
|
|
|
# "tpm-rng"
|
|
|
|
];
|
|
|
|
extraModulePackages = [
|
2017-02-18 04:11:59 +00:00
|
|
|
config.boot.kernelPackages.acpi_call
|
2016-10-27 12:55:50 +00:00
|
|
|
];
|
2017-03-01 14:53:16 +00:00
|
|
|
# support backlight adjustment
|
|
|
|
kernelParams = [ "acpi_osi=Linux" "acpi_backlight=vendor" ];
|
2016-05-02 15:37:14 +00:00
|
|
|
};
|
2017-02-18 04:11:59 +00:00
|
|
|
|
|
|
|
# configured media keys inside awesomerc
|
|
|
|
# sound.mediaKeys.enable = true;
|
|
|
|
hardware.bluetooth.enable = true;
|
|
|
|
|
2016-10-27 12:55:50 +00:00
|
|
|
services.acpid.enable = true;
|
2016-07-20 22:13:01 +00:00
|
|
|
hardware.opengl.extraPackages = [ pkgs.vaapiIntel pkgs.vaapiVdpau ];
|
2015-08-26 15:11:05 +00:00
|
|
|
services.xserver = {
|
|
|
|
videoDriver = "intel";
|
|
|
|
deviceSection = ''
|
|
|
|
Option "AccelMethod" "sna"
|
2017-02-18 04:11:59 +00:00
|
|
|
Option "Backlight" "intel_backlight"
|
2015-08-26 15:11:05 +00:00
|
|
|
'';
|
|
|
|
};
|
2016-10-27 12:55:50 +00:00
|
|
|
# no entropy source working
|
|
|
|
# security.rngd.enable = true;
|
2016-05-02 15:37:14 +00:00
|
|
|
|
2015-08-23 12:15:41 +00:00
|
|
|
services.xserver.displayManager.sessionCommands =''
|
2016-02-11 16:06:50 +00:00
|
|
|
xinput set-int-prop "TPPS/2 IBM TrackPoint" "Evdev Wheel Emulation" 8 1
|
|
|
|
xinput set-int-prop "TPPS/2 IBM TrackPoint" "Evdev Wheel Emulation Button" 8 2
|
|
|
|
xinput set-prop "TPPS/2 IBM TrackPoint" "Evdev Wheel Emulation Axes" 6 7 4 5
|
|
|
|
# xinput set-int-prop "TPPS/2 IBM TrackPoint" "Evdev Wheel Emulation Timeout" 8 200
|
|
|
|
'';
|
|
|
|
|
|
|
|
# enable HDMI output switching with pulseaudio
|
2017-07-03 09:44:47 +00:00
|
|
|
hardware.pulseaudio.extraConfig = ''
|
2016-02-11 16:06:50 +00:00
|
|
|
load-module module-alsa-sink device=hw:0,3 sink_properties=device.description="HDMIOutput" sink_name="HDMI"
|
2015-08-23 12:15:41 +00:00
|
|
|
'';
|
2015-08-23 00:48:35 +00:00
|
|
|
|
|
|
|
}
|