Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: NixOS/infra
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: b85fc589447a
Choose a base ref
...
head repository: NixOS/infra
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 8fa317820101
Choose a head ref
  • 2 commits
  • 3 files changed
  • 1 contributor

Commits on Nov 20, 2018

  1. Initial commit of t2a-1/2

    @edolstra
    edolstra committed Nov 20, 2018

    Verified

    This commit was signed with the committer’s verified signature.
    eadwu Edmund Wu
    GPG key ID: 43C9E53FFCF51DEC
    Verified
    Learn about vigilant mode
    Copy the full SHA
    e6f9e4e View commit details

  2. Ignore emacs edit files

    @edolstra
    edolstra committed Nov 20, 2018
    Copy the full SHA
    8fa3178 View commit details
Showing with 235 additions and 0 deletions.
  1. +1 −0 .gitignore
  2. +115 −0 delft/packet/packet-t2a-1.nix
  3. +119 −0 delft/packet/packet-t2a-2.nix
1 change: 1 addition & 0 deletions .gitignore
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1 @@
*~
115 changes: 115 additions & 0 deletions delft/packet/packet-t2a-1.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,115 @@
{ lib, pkgs, ... }:
{
boot = {
loader = {
grub = {
enable = true;
version = 2;
efiSupport = true;
device = "nodev";
efiInstallAsRemovable = true;
font = null;
splashImage = null;
extraConfig = ''
serial
terminal_input serial console
terminal_output serial console
'';
};
efi = {
efiSysMountPoint = "/boot/efi";
canTouchEfiVariables = lib.mkForce false;
};
};
initrd = {
availableKernelModules = [
"ahci"
"pci_thunder_ecam"
];
};
kernelParams = [
"cma=0M"
"biosdevname=0"
"net.ifnames=0"
"console=ttyAMA0,115200"
];
kernelPackages = pkgs.linuxPackages_4_14;
};
networking = {
hostName = "builder-t2a-1";
dhcpcd.enable = false;
defaultGateway = {
address = "147.75.65.53";
interface = "bond0";
};
defaultGateway6 = {
address = "2604:1380:0:d600::";
interface = "bond0";
};
nameservers = [
"147.75.207.207"
"147.75.207.208"
];
bonds = {
bond0 = {
driverOptions = {
mode = "802.3ad";
xmit_hash_policy = "layer3+4";
lacp_rate = "fast";
downdelay = "200";
miimon = "100";
updelay = "200";
};
interfaces = [ "eth0" "eth1" ];
};
};
};
networking.interfaces.bond0 = {
useDHCP = false;
ipv4 = {
routes = [
{
address = "10.0.0.0";
prefixLength = 8;
via = "10.99.98.128";
}
];
addresses = [
{
address = "147.75.65.54";
prefixLength = 30;
}
{
address = "10.99.98.129";
prefixLength = 31;
}
];
};
ipv6 = {
addresses = [
{
address = "2604:1380:0:d600::1";
prefixLength = 127;
}
];
};
};
fileSystems = {
"/" = {
device = "/dev/sda2";
fsType = "ext4";
};
"/boot/efi" = {
device = "/dev/sda1";
fsType = "vfat";
};
};
nix = {
maxJobs = 96;
buildCores = 4;
};
nixpkgs = {
system = "aarch64-linux";
};
system.stateVersion = lib.mkForce "18.03";
}
119 changes: 119 additions & 0 deletions delft/packet/packet-t2a-2.nix
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,119 @@
{ lib, pkgs, ... }:
{
boot = {
loader = {
systemd-boot.enable = lib.mkForce false;
grub = {
enable = true;
version = 2;
efiSupport = true;
device = "nodev";
efiInstallAsRemovable = true;
font = null;
splashImage = null;
extraConfig = ''
serial
terminal_input serial console
terminal_output serial console
'';
};
efi = {
efiSysMountPoint = "/boot/efi";
canTouchEfiVariables = lib.mkForce false;
};
};
initrd = {
availableKernelModules = [
"ahci"
"pci_thunder_ecam"
];
};
kernelParams = [
"cma=0M"
"biosdevname=0"
"net.ifnames=0"
"console=ttyAMA0"
];
kernelPackages = pkgs.linuxPackages_4_14;
};

networking.hostId = "6150845b";
networking.hostName = "packet-t2a-2";
networking.dhcpcd.enable = false;
networking.defaultGateway = {
address = "147.75.79.197";
interface = "bond0";
};
networking.defaultGateway6 = {
address = "2604:1380:0:d600::4";
interface = "bond0";
};
networking.nameservers = [
"147.75.207.207"
"147.75.207.208"
];
networking.bonds.bond0 = {
driverOptions = {
mode = "802.3ad";
xmit_hash_policy = "layer3+4";
lacp_rate = "fast";
downdelay = "200";
miimon = "100";
updelay = "200";
};
interfaces = [ "eth0" "eth1" ];
};
networking.interfaces.bond0 = {
useDHCP = false;
ipv4 = {
routes = [
{
address = "10.0.0.0";
prefixLength = 8;
via = "10.99.98.132";
}
];
addresses = [
{
address = "147.75.79.198";
prefixLength = 30;
}
{
address = "10.99.98.133";
prefixLength = 31;
}
];
};
ipv6 = {
addresses = [
{
address = "2604:1380:0:d600::5";
prefixLength = 127;
}
];
};
};
fileSystems = {
"/" = {
device = "/dev/sda2";
fsType = "ext4";
};
"/boot/efi" = {
device = "/dev/sda1";
fsType = "vfat";
};
};
services.openssh.enable = true;
nix = {
maxJobs = 96;
buildCores = 4;
};
nixpkgs = {
system = "aarch64-linux";
config = {
allowUnfree = true;
};
};
system.stateVersion = lib.mkForce "18.03";
}