#include "config.h"
+/* Wi-Fi credentials */
char wifi_ssid[] = "THEWIFISSID";
char wifi_pass[] = "THEWIFIPASSWORD";
+
+/* Network address of the server to contact */
+char tattle_server_ip_address[] = "192.168.10.10";
+u16_t tattle_port = 29803; // 'tk'
+
+/* For distinguishing reports from multiple tattlekey devices. */
+u16_t this_tattler_identity = 1;
+
+/* 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. */
+uint button_pin = 18;