#ifndef CONFIG_H
#define CONFIG_H

#include "lwip/arch.h"

/* Wi-Fi credentials */
extern char wifi_ssid[];
extern char wifi_pass[];

/* Network address of the server to contact */
extern char tattle_server_ip_address[];
extern u16_t tattle_port;

/* For distinguishing reports from multiple tattlekey devices. */
extern u16_t this_tattler_identity;

/* Which GPIO pin is the button connected to?
 * The button should span this pin and ground, connecting this pin to ground
 * when pressed.
 * https://projects.raspberrypi.org/en/projects/introduction-to-the-pico/10
 * recommends pins 18, 22, or 28. */
extern uint button_pin;

/* Don't bother reporting each separate button press when it is pressed many
 * times in short succession.  (We also use this to de-bounce. :) */
extern u32_t minimum_microseconds_between_button_presses;

#endif