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

// Define the port for the buttons.
// Initialising p_buttons with PORT_BUTTONS connects it through the XK-EVK-XU316
//   XN file with PORT_4D on tile[0].
// The datasheet for the XU316-1024-FB265 shows PORT_4D of tile[0] connected
//   through signals X0D16, X0D17, X0D18, and X0D19 to balls E4, E3, E1, and F2.
// The schematic for the XK-EVK-XU316 board shows that two of these signals,
//   X0D16 and X0D17, connect directly to Button 0 and Button 1 respectively.
static port_t p_buttons = PORT_BUTTONS;
