2015-08-14 15:59:05 +02:00
|
|
|
{ config, lib, pkgs, ... }:
|
|
|
|
|
|
|
|
{
|
2015-08-14 20:00:46 +02:00
|
|
|
|
2015-08-14 15:59:05 +02:00
|
|
|
environment.systemPackages = with pkgs; [
|
2016-10-19 12:31:13 +02:00
|
|
|
gnuradio-with-packages
|
2015-08-14 15:59:05 +02:00
|
|
|
gnuradio-osmosdr
|
|
|
|
gqrx
|
|
|
|
];
|
2015-08-14 20:00:46 +02:00
|
|
|
|
2015-08-14 15:59:05 +02:00
|
|
|
users.extraUsers.${config.krebs.build.user.name}.extraGroups = [ "dialout" ];
|
2015-08-14 20:00:46 +02:00
|
|
|
|
2015-08-14 15:59:05 +02:00
|
|
|
services.udev.extraRules = ''
|
|
|
|
ATTR{idVendor}=="1d50", ATTR{idProduct}=="604b", SYMLINK+="hackrf-jawbreaker-%k", MODE="0666", GROUP="dialout"
|
|
|
|
ATTR{idVendor}=="1d50", ATTR{idProduct}=="6089", SYMLINK+="hackrf-one-%k", MODE="0666", GROUP="dialout"
|
|
|
|
ATTR{idVendor}=="1d50", ATTR{idProduct}=="cc15", SYMLINK+="rad1o-%k", MODE="0666", GROUP="dialout"
|
|
|
|
ATTR{idVendor}=="1fc9", ATTR{idProduct}=="000c", SYMLINK+="nxp-dfu-%k", MODE="0666", GROUP="dialout"
|
|
|
|
'';
|
|
|
|
}
|