#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;
+
+/* Send each report multiple times. */
+extern uint resend_count;
+extern u32_t resend_interval_ms;
+
#endif