Using Adafruit Airlift breakout board with Teensy4.0/4.1?

const uint8_t WIFI_SPI_CS0_PIN         = 10; // SPI CS0 used by Wifi
const uint8_t WIFI_SPI_MOSI0_PIN       = 11; // SPI MOSI0 uased by Wifi
const uint8_t WIFI_SPI_MISO0_PIN       = 12; // SPI MISO0 uased by Wifi
const uint8_t WIFI_SPI_SCK0_PIN        = 13; // SPI SCK0 used by Wifi
const uint8_t WIFI_RESET_PIN           = 5; // reset pin used by Wifi
const uint8_t WIFI_BUSY_PIN            = 7; // busy pin used by Wifi

 // Set up remote udp port debugging
  if (UDP_DEBUGGING) {
    if (networkHub.start() == 0) {
      DebugMsgs.println("Switching to debug messages through remote udp");
      
      UDPPrintWrapper* udpPrint =
        new UDPPrintWrapper(networkHub.getUdpPort(DEBUG_UDP_PORT), UDP_TARGET_ADDRESS, UDP_TARGET_PORT);
      
      DebugMsgs.setPrint(udpPrint);
      DebugMsgs.println("Starting debug messages through remote udp");
    } else {
      DebugMsgs.println("Error connecting to network, debug messages will continue local");
    }
  }

int NetworkHub::start(void) {
  // Make sure the right pins are set for SPI
  SPI.setMOSI(WIFI_SPI_MOSI0_PIN);
  SPI.setMISO(WIFI_SPI_MISO0_PIN);
  SPI.setSCK(WIFI_SPI_SCK0_PIN);

  // Make sure right pins are set for Wifi
  WiFi.setPins(WIFI_SPI_CS0_PIN, WIFI_BUSY_PIN, WIFI_RESET_PIN, -1, &SPI);
  
  // check for the WiFi module:
  if (WiFi.status() == WL_NO_MODULE) {
    DebugMsgs.println("Communication with WiFi module failed!");
    return 1;
  }

  int status = WL_IDLE_STATUS;
  int attemptsLeft = 3;
  
  // attempt to connect to Wifi network:
  while (status != WL_CONNECTED) {
    if (attemptsLeft == 0) {
      DebugMsgs.println("All conection attempts exhausted, failed to connected to wifi");
      return 1;
    }
    
    DebugMsgs.print("Attempting to connect to SSID: ").println(ssid);
    // Connect to WPA/WPA2 network. Change this line if using open or WEP network:
    status = WiFi.begin(ssid, pass);
    attemptsLeft--;
    
    // wait 10 seconds for connection:
    delay(10000);
  }

  DebugMsgs.println("Connected to wifi");
  printWifiStatus();

  return 0;
}

UDP* NetworkHub::getUdpPort(unsigned int portNum) {
  WiFiUDP* wifiUdp = new WiFiUDP();
  wifiUdp->begin(portNum);
  return wifiUdp;
}

void printWifiStatus(void) {
  // print the SSID of the network you're attached to:
  DebugMsgs.print("SSID: ").println(WiFi.SSID());

  // print your board's IP address:
  IPAddress ip = WiFi.localIP();
  DebugMsgs.print("IP Address: ").println(ip);

  // print the received signal strength:
  long rssi = WiFi.RSSI();
  DebugMsgs.print("signal strength (RSSI):").print(rssi).println(" dBm");
}

class UDPPrintWrapper : public PrintWrapper {
    
  public:
    UDPPrintWrapper(
      UDP* udp, IPAddress remoteIP, uint16_t remotePort) : PrintWrapper(udp) {
      _udp = udp;
      _remoteIP = remoteIP;
      _remotePort = remotePort;
    }

    virtual int open(void) {
      return _udp->beginPacket(_remoteIP, _remotePort);
    }
    
    virtual int close(void) {
      return _udp->endPacket();
    }
    
    virtual bool requiresOpenAndClose() {
      return true;
    }
  
  private:
    UDP* _udp;
    IPAddress _remoteIP;
    uint16_t _remotePort;
};

#include <Arduino.h>
#include <SPI.h>
#include <WiFiNINA.h>


#define SPIWIFI       SPI  // The SPI port
/*
SPI_SS = 10
SPI_MOSI = 11
SPI_MISO = 12
SPI_SCK = 13
*/
#define SPIWIFI_SS 10      // Chip select pin
#define SPIWIFI_ACK 9   // a.k.a BUSY or READY pin
#define ESP32_RESETN 8   // Reset pin
#define ESP32_GPIO0 7


#define ssid <REDACTED>
#define pass <REDACTED>

WiFiClient client;
int status = WL_IDLE_STATUS;
char server[] = "wifitest.adafruit.com";    // name address for adafruit test
char path[]   = "/testwifi/index.html";


void printWifiStatus() {
  // print the SSID of the network you're attached to:
  Serial.print("SSID: ");
  Serial.println(WiFi.SSID());

  // print your board's IP address:
  IPAddress ip = WiFi.localIP();
  Serial.print("IP Address: ");
  Serial.println(ip);

  // print the received signal strength:
  long rssi = WiFi.RSSI();
  Serial.print("signal strength (RSSI):");
  Serial.print(rssi);
  Serial.println(" dBm");
}



void setup() {
  // put your setup code here, to run once
  Serial.begin(115200);
  while (!Serial) {
    ; // wait for serial port to connect. Needed for native USB port only
  }
  WiFi.setPins(SPIWIFI_SS, SPIWIFI_ACK, ESP32_RESETN, ESP32_GPIO0, &SPIWIFI);
  while (WiFi.status() == WL_NO_MODULE) {
    Serial.println("Communication with WiFi module failed!");
    // don't continue
    delay(1000);
  }

  String fv = WiFi.firmwareVersion();
  if (fv < "1.0.0") {
    Serial.println("Please upgrade the firmware");
  }
  Serial.print("Found firmware "); Serial.println(fv);

  // attempt to connect to Wifi network:
  Serial.print("Attempting to connect to SSID: ");
  Serial.println(ssid);
  // Connect to WPA/WPA2 network. Change this line if using open or WEP network:
  do {
    status = WiFi.begin(ssid, pass);
    delay(100);     // wait until connection is ready!
  } while (status != WL_CONNECTED);

  Serial.println("Connected to wifi");
  printWifiStatus();

  Serial.println("\nStarting connection to server...");
  // if you get a connection, report back via serial:
  if (client.connect(server, 80)) {
    Serial.println("connected to server");
    // Make a HTTP request:
    client.print("GET "); client.print(path); client.println(" HTTP/1.1");
    client.print("Host: "); client.println(server);
    client.println("Connection: close");
    client.println();
  }
}

void loop() {
  // if there are incoming bytes available
  // from the server, read them and print them:
  while (client.available()) {
    char c = client.read();
    Serial.write(c);
  }

  // if the server's disconnected, stop the client:
  if (!client.connected()) {
    Serial.println();
    Serial.println("disconnecting from server.");
    client.stop();

    // do nothing forevermore:
    while (true);
  }
}

#define SPIWIFI_SS 10      // Chip select pin
#define SPIWIFI_ACK 8   // a.k.a BUSY or READY pin
#define ESP32_RESETN 9   // Reset pin
#define ESP32_GPIO0 7

Teensy pin 8  -> Airlift BUSY
Teensy pin 9  -> Airlift Reset
Teensy pin 10 -> Airlift CS
Teensy pin 11 -> Airlift MOSI
Teensy pin 12 -> Airlift MISO
Teensy pin 13 -> Airlift SCK

#include <Arduino.h>
#include <SPI.h>
#include <WiFiNINA.h>


#define SPIWIFI       SPI  // The SPI port

#define WIFI_SPI_MOSI0_PIN 11 // SPI MOSI0 used by WiFi
#define WIFI_SPI_MISO0_PIN 12 // SPI MISO0 used by WiFi
#define WIFI_SPI_SCK0_PIN  13  // SPI SCK0 used by WiFi
#define WIFI_SPI_CS        10   // Chip select pin
#define ESP32_BUSY          8   // a.k.a BUSY or READY pin
#define ESP32_RESETN        9  // Reset pin
#define ESP32_GPIO0         7

#define ssid "YOUR WIFI SSID HERE"
#define pass "YOUR WIFI PASSWORD HERE"

WiFiClient client;
int status = WL_IDLE_STATUS;
char server[] = "wifitest.adafruit.com";    // name address for adafruit test
char path[]   = "/testwifi/index.html";
uint32_t restartTime;

#define RESTART_ADDR 0xE000ED0C
#define READ_RESTART() (*(volatile uint32_t *)RESTART_ADDR)
#define WRITE_RESTART(val) ((*(volatile uint32_t *)RESTART_ADDR) = (val))

void restartTeensy(void) {
  // Please see: https://forum.pjrc.com/threads/44857-How-to-Reset-Restart-Teensy-3-5-using-sotware
  WRITE_RESTART(0x5FA0004);
}

void printWifiStatus() {
  // print the SSID of the network you're attached to:
  Serial.print("SSID: ");
  Serial.println(WiFi.SSID());

  // print your board's IP address:
  IPAddress ip = WiFi.localIP();
  Serial.print("IP Address: ");
  Serial.println(ip);

  // print the received signal strength:
  long rssi = WiFi.RSSI();
  Serial.print("signal strength (RSSI):");
  Serial.print(rssi);
  Serial.println(" dBm");
}

void setup() {
  // put your setup code here, to run once
  Serial.begin(115200);
  while (!Serial) {
    ; // wait for serial port to connect. Needed for native USB port only
  }
  
  // Make sure the right pins are set for SPI
  SPI.setMOSI(WIFI_SPI_MOSI0_PIN);
  SPI.setMISO(WIFI_SPI_MISO0_PIN);
  SPI.setSCK(WIFI_SPI_SCK0_PIN);
  SPI.begin();

  pinMode(ESP32_BUSY, INPUT);
  pinMode(ESP32_RESETN, OUTPUT);
  
  WiFi.setPins(WIFI_SPI_CS, ESP32_BUSY, ESP32_RESETN, ESP32_GPIO0, &SPIWIFI);
  while (WiFi.status() == WL_NO_MODULE) {
    Serial.println("Communication with WiFi module failed!");
    // don't continue
    delay(1000);
  }

  String fv = WiFi.firmwareVersion();
  if (fv < "1.0.0") {
    Serial.println("Please upgrade the firmware");
  }
  Serial.print("Found firmware "); Serial.println(fv);

  // attempt to connect to Wifi network:
  Serial.print("Attempting to connect to SSID: ");
  Serial.println(ssid);
  // Connect to WPA/WPA2 network. Change this line if using open or WEP network:
  do {
    status = WiFi.begin(ssid, pass);
    delay(100);     // wait until connection is ready!
  } while (status != WL_CONNECTED);

  Serial.println("Connected to wifi");
  printWifiStatus();

  Serial.println("\nStarting connection to server...");
  // if you get a connection, report back via serial:
  if (client.connect(server, 80)) {
    Serial.println("connected to server");
    // Make a HTTP request:
    client.print("GET "); client.print(path); client.println(" HTTP/1.1");
    client.print("Host: "); client.println(server);
    client.println("Connection: close");
    client.println();
  }

  restartTime = millis() + 10000;
}

void loop() {
  // if there are incoming bytes available
  // from the server, read them and print them:
  while (client.available()) {
    char c = client.read();
    Serial.write(c);
  }

  // if the server's disconnected, stop the client:
  if (!client.connected()) {
    Serial.println();
    Serial.println("disconnecting from server.");
    client.stop();
  }

  // Restart if time limit met
  if (millis() > restartTime) {
    Serial.println();
    Serial.println();
    Serial.println("Restarting Teensy");
    Serial.flush();
    delay(1000);
    restartTeensy();
  }
}