41 lines
1.4 KiB
Nix
41 lines
1.4 KiB
Nix
|
### T14
|
|||
|
|
|
|||
|
|
# Edet this configuration file to define what should be installed on
|
|||
|
|
# your system. Help is available in the configuration.nix(5) man page
|
|||
|
|
# and in the NixOS manual (accessible by running ‘nixos-help’).
|
|||
|
|
|
|||
|
|
{ config, pkgs, lib, ... }:
|
|||
|
|
{
|
|||
|
|
imports =
|
|||
|
|
[ # Include the results of the hardware scan.
|
|||
|
|
./hardware-configuration-custom.nix
|
|||
|
|
];
|
|||
|
|
|
|||
|
|
# Use the systemd-boot EFI boot loader.
|
|||
|
|
boot.loader.systemd-boot.enable = true;
|
|||
|
|
boot.loader.efi.canTouchEfiVariables = true;
|
|||
|
|
boot.tmpOnTmpfs = true;
|
|||
|
|
boot.kernelPackages = pkgs.linuxPackages_latest;
|
|||
|
|
|
|||
|
|
networking.hostName = "t14"; # Define your hostname.
|
|||
|
|
networking.networkmanager.enable = true;
|
|||
|
|
|
|||
|
|
# Set your time zone.
|
|||
|
|
time.timeZone = "America/Costa_Rica";
|
|||
|
|
|
|||
|
|
hardware.opengl.enable = true;
|
|||
|
|
|
|||
|
|
# esto es de la FGPA, eliminar cuando termine el curso
|
|||
|
|
services.udev.extraRules = ''
|
|||
|
|
# USB-Blaster
|
|||
|
|
ATTRS{idVendor}=="09fb", ATTRS{idProduct}=="6001", MODE="660", GROUP="dialout", TAG+="uaccess"
|
|||
|
|
ATTRS{idVendor}=="09fb", ATTRS{idProduct}=="6002", MODE="660", GROUP="dialout", TAG+="uaccess"
|
|||
|
|
ATTRS{idVendor}=="09fb", ATTRS{idProduct}=="6003", MODE="660", GROUP="dialout", TAG+="uaccess"
|
|||
|
|
|
|||
|
|
# USB-Blaster II
|
|||
|
|
ATTRS{idVendor}=="09fb", ATTRS{idProduct}=="6010", MODE="660", GROUP="dialout", TAG+="uaccess"
|
|||
|
|
ATTRS{idVendor}=="09fb", ATTRS{idProduct}=="6810", MODE="660", GROUP="dialout", TAG+="uaccess"
|
|||
|
|
'';
|
|||
|
|
}
|
|||
|
|
|