mirror of
https://github.com/NixOS/nixos-hardware
synced 2024-12-27 03:59:45 +01:00
41 lines
801 B
Nix
41 lines
801 B
Nix
|
{
|
||
|
|
config,
|
||
|
|
lib,
|
||
|
|
...
|
||
|
|
}: let
|
||
|
|
cfg = config.hardware.raspberry-pi."4".xhci;
|
||
|
|
in {
|
||
|
|
options.hardware = {
|
||
|
|
raspberry-pi."4".xhci = {
|
||
|
|
enable = lib.mkEnableOption ''
|
||
|
|
Enable builtin XHCI controller for USB with otg_mode=1 in config.txt
|
||
|
|
'';
|
||
|
|
};
|
||
|
|
};
|
||
|
|
|
||
|
|
config = lib.mkIf cfg.enable {
|
||
|
|
hardware.deviceTree = {
|
||
|
|
overlays = [
|
||
|
|
{
|
||
|
|
name = "enable-xhci";
|
||
|
|
dtsText = ''
|
||
|
|
/dts-v1/;
|
||
|
|
/plugin/;
|
||
|
|
|
||
|
|
/ {
|
||
|
|
compatible = "brcm,bcm2711";
|
||
|
|
fragment@0 {
|
||
|
|
//target-path = "/scb/xhci@7e9c0000";
|
||
|
|
target = <&xhci>;
|
||
|
|
__overlay__ {
|
||
|
|
status = "okay";
|
||
|
|
};
|
||
|
|
};
|
||
|
|
};
|
||
|
|
'';
|
||
|
|
}
|
||
|
|
];
|
||
|
|
};
|
||
|
|
};
|
||
|
|
}
|