// Copyright 2025 XMOS LIMITED.
// This Software is subject to the terms of the XMOS Public Licence: Version 1.

// Define the port for the LEDs.
// Initialising p_leds with PORT_LEDS connects it through the XK-EVK-XU316 XN
//   file with PORT_4C on tile[0].
// The datasheet for the XU316-1024-FB265 shows PORT_4C of tile[0] connected
//   through signals X0D14, X0D15, X0D20, and X0D21 to balls D4, D3, F1, and G2.
// The schematic for the XK-EVK-XU316 board shows that these signals connect
//   through a 74AVC4TD245 voltage level shifter to LEDs 0..3.
static port_t p_leds = PORT_LEDS;
