Add scripts for setting up hoeve

To make the setup process reproducible

hitl-setup/README.md

@@ -0,0 +1,2 @@
+This folder contains all information and scripts to bootstrap the HITL setup.
+Setting up should be done manually, CI should only check if the setup is correct.

hitl-setup/dhcpd.conf

@@ -0,0 +1,7 @@
+default-lease-time 600;
+max-lease-time 7200;
+ddns-update-style none;
+subnet 100.100.100.0 netmask 255.255.255.0 {
+  range 100.100.100.2 100.100.100.254;
+  option routers 100.100.100.1;
+}

hitl-setup/interfaces

@@ -0,0 +1,8 @@
+enp3s0
+enp4s0
+enp5s0
+enp6s0
+enp13s0
+enp14s0
+enp15s0
+enp16s0

hitl-setup/setup.sh

@@ -0,0 +1,186 @@
+#!/bin/bash
+
+# Script that can set up all ethernet interfaces and DHCP on the host machine.
+# Based on https://wiki.archlinux.org/title/Network_bridge#With_iproute2
+
+# Name of the bridge
+BRIDGE_NAME="eth-fpga"
+
+# File containing the list of network interfaces
+INTERFACES_FILE="interfaces"
+
+INTERFACE_IP="100.100.100.1/24"
+DHCP_IP="100.100.100.0"
+
+# Function to read interfaces from the file
+read_interfaces() {
+    if [[ -f "$INTERFACES_FILE" ]]; then
+        INTERFACES=($(cat "$INTERFACES_FILE"))
+    else
+        echo "Error: $INTERFACES_FILE file not found."
+        exit 1
+    fi
+}
+
+# Function to create the bridge
+create_bridge() {
+    echo "Creating bridge $BRIDGE_NAME..."
+    if ip link show $BRIDGE_NAME &> /dev/null; then
+        echo "Bridge $BRIDGE_NAME already exists."
+    else
+        ip link add name $BRIDGE_NAME type bridge
+        ip link set dev $BRIDGE_NAME up
+        ip addr add $INTERFACE_IP dev $BRIDGE_NAME
+    fi
+}
+
+remove_bridge() {
+    echo "Deleting bridge $BRIDGE_NAME..."
+    if ip link show $BRIDGE_NAME &> /dev/null; then
+        ip link set $BRIDGE_NAME down
+        ip link delete $BRIDGE_NAME type bridge
+    else
+        echo "Bridge $BRIDGE_NAME does not exist."
+    fi
+}
+
+add_interfaces() {
+    for iface in "${INTERFACES[@]}"; do
+        echo "Adding interface $iface to bridge $BRIDGE_NAME and setting it up."
+        ip link set $iface up
+        ip link set $iface master $BRIDGE_NAME
+    done
+}
+
+remove_interfaces() {
+    for iface in "${INTERFACES[@]}"; do
+        echo "Removing interface $iface from bridge $BRIDGE_NAME."
+        ip link set $iface nomaster
+    done
+}
+
+check_eth() {
+    # Check if the bridge exists
+    if ! ip link show $BRIDGE_NAME &> /dev/null; then
+        echo "Error: Bridge $BRIDGE_NAME does not exist."
+        exit 1
+    fi
+    echo "Bridge $BRIDGE_NAME exists."
+    # Check if the bridge is up
+    if ! ip link show $BRIDGE_NAME | grep -q "state UP"; then
+        echo "Error: Bridge $BRIDGE_NAME is not up."
+        exit 1
+    fi
+    echo "Bridge $BRIDGE_NAME is up."
+    # Check if the bridge has the correct IP address
+    if ! ip addr show dev $BRIDGE_NAME | grep -q "$INTERFACE_IP"; then
+        echo "Error: Bridge $BRIDGE_NAME does not have IP address $INTERFACE_IP."
+        exit 1
+    fi
+    echo "Bridge $BRIDGE_NAME has IP address $INTERFACE_IP."
+    # Every interface should be up and should have $BRIDGE_NAME as master
+    for iface in "${INTERFACES[@]}"; do
+        if ! ip link show $iface &> /dev/null; then
+            echo "Error: Interface $iface does not exist."
+            exit 1
+        fi
+        echo "Interface $iface exists."
+        if ! ip link show $iface | grep -q "master $BRIDGE_NAME"; then
+            echo "Error: Interface $iface is not part of bridge $BRIDGE_NAME."
+            exit 1
+        fi
+        echo "Interface $iface is part of bridge $BRIDGE_NAME."
+        if ! ip link show $iface | grep -q "state UP"; then
+            echo "Error: Interface $iface is not up."
+            exit 1
+        fi
+        echo "Interface $iface is up."
+    done
+}
+
+#For dhcp we use `isc-dhcp-server` package
+setup_dhcp() {
+    # Make sure the package is installed
+    apt-get install isc-dhcp-server
+
+    # Check if $BRIDGE_NAME is in /etc/default/isc-dhcp-server
+    # This file should contain INTERFACESv4="$BRIDGE_NAME"
+    # If the file contains a different value, throw an error
+    # If the file does not exist, create it:
+    touch /etc/default/isc-dhcp-server
+    if grep -q "INTERFACESv4=\"$BRIDGE_NAME\"" /etc/default/isc-dhcp-server; then
+        echo "Bridge $BRIDGE_NAME is already set up for DHCP."
+    else
+        if grep -q "INTERFACESv4=" /etc/default/isc-dhcp-server; then
+            echo "Error: Bridge $BRIDGE_NAME is not set up for DHCP."
+            echo "Please set up bridge $BRIDGE_NAME manually in /etc/default/isc-dhcp-server."
+            exit 1
+        fi
+        echo "Setting up bridge $BRIDGE_NAME for DHCP..."
+        echo "INTERFACESv4=\"$BRIDGE_NAME\"" >> /etc/default/isc-dhcp-server
+    fi
+
+    # When we start the service we should be able to see:
+    # Listening on LPF/$BRIDGE_NAME/<MAC ADDRESS>/$INTERFACE_IP
+    systemctl restart isc-dhcp-server
+
+    # Wait for the service to be started
+    sleep 1
+    result=$(systemctl status isc-dhcp-server | grep "Listening" | grep "$BRIDGE_NAME" | grep "$DHCP_IP")
+    if [ -z "$result" ]; then
+        echo "Error: isc-dhcp-server is not listening on bridge $BRIDGE_NAME."
+        exit 1
+    fi
+}
+
+check_dhcp() {
+    # Check if the service is installed
+    if ! dpkg -l | grep -q "isc-dhcp-server"; then
+        echo "Error: isc-dhcp-server is not installed."
+        exit 1
+    fi
+    echo "isc-dhcp-server is installed."
+
+    # Check if the service is running
+    if ! systemctl is-active --quiet isc-dhcp-server; then
+        echo "Error: isc-dhcp-server is not running."
+        exit 1
+    fi
+    echo "isc-dhcp-server is running."
+
+    #Ideally I'd verify if it's listening on the correct interface
+    #But I'm not sure how to do that
+}
+# Main script logic
+case "$1" in
+    check)
+        read_interfaces
+        check_eth
+        check_dhcp
+        ;;
+    dhcp)
+        setup_dhcp
+        ;;
+    eth)
+        read_interfaces
+        create_bridge
+        add_interfaces
+        ;;
+    rm-eth)
+        read_interfaces
+        remove_interfaces
+        remove_bridge
+        ;;
+    setup)
+        read_interfaces
+        create_bridge
+        add_interfaces
+        setup_dhcp
+        ;;
+    *)
+        echo "Usage: $0 {create|add|show|remove|delete}"
+        echo "  eth    - Create an ethernet bridge $BRIDGE_NAME with all interfaces"
+        echo "  rm-eth - Delete the ethernet bridge $BRIDGE_NAME"
+        exit 1
+        ;;
+esac