v/infrastructure
1
0
Fork 0
Code Issues 13 Pull requests 1 Projects Releases Packages Activity Actions

nvim config, mostly

Browse source
This commit is contained in:
Vivian 2025-05-05 15:04:48 +02:00
parent 529a7e7767
commit fc075254bb
17 changed files with 499 additions and 771 deletions
Download patch file Download diff file Expand all files Collapse all files

74
hosts/thalassa/aoife/uni.nix
View file

@ -1,45 +1,12 @@
# Config options needed for various university courses, such as:
# * Wireless IoT and Local Area Networks
# * Network Security
# * Smart Phone Sensing
# * PDP
# * RTS
{ pkgs, ... }:
# Config options needed for various university courses
{ pkgs, lib, ... }:
{
environment.systemPackages = with pkgs; [ ];
hardware.saleae-logic = {
enable = true;
package = pkgs.saleae-logic-2;
};
programs.wireshark = {
enable = true;
package = pkgs.wireshark;
};
programs.mininet.enable = true;
virtualisation = {
podman.enable = true;
# virtualbox.host = {
# enable = true;
# };
docker = {
enable = false;
storageDriver = "btrfs";
};
};
users.extraGroups.plugdev = { };
users.extraUsers.vivian.extraGroups = [
# "wireshark"
# "docker"
# "lxd"
# "vboxusers"
"plugdev"
"dialout"
"plugdev"
];
programs.nix-ld = {
@ -50,39 +17,12 @@
];
};
# Vivado udev
services.udev.packages = [
pkgs.platformio-core
pkgs.openocd
pkgs.openocd # This should(?) be the same as the probe-rs rules below, but just to be sure
(pkgs.writeTextFile {
name = "xilinx-dilligent-usb-udev";
destination = "/etc/udev/rules.d/52-xilinx-digilent-usb.rules";
text = ''
ATTR{idVendor}=="1443", MODE:="666"
ACTION=="add", ATTR{idVendor}=="0403", ATTR{manufacturer}=="Digilent", MODE:="666"
'';
})
(pkgs.writeTextFile {
name = "xilinx-pcusb-udev";
destination = "/etc/udev/rules.d/52-xilinx-pcusb.rules";
text = ''
ATTR{idVendor}=="03fd", ATTR{idProduct}=="0008", MODE="666"
ATTR{idVendor}=="03fd", ATTR{idProduct}=="0007", MODE="666"
ATTR{idVendor}=="03fd", ATTR{idProduct}=="0009", MODE="666"
ATTR{idVendor}=="03fd", ATTR{idProduct}=="000d", MODE="666"
ATTR{idVendor}=="03fd", ATTR{idProduct}=="000f", MODE="666"
ATTR{idVendor}=="03fd", ATTR{idProduct}=="0013", MODE="666"
ATTR{idVendor}=="03fd", ATTR{idProduct}=="0015", MODE="666"
'';
})
(pkgs.writeTextFile {
name = "xilinx-ftdi-usb-udev";
destination = "/etc/udev/rules.d/52-xilinx-ftdi-usb.rules";
text = ''
ACTION=="add", ATTR{idVendor}=="0403", ATTR{manufacturer}=="Xilinx", MODE:="666"
'';
name = "probe-rs-udev";
destination = "/etc/udev/rules.d/69-probe-rs.rules";
text = builtins.readFile ./69-probe-rs.rules;
})
];
}