Hard reset user device on connection and disconnection of FPGA viewer

fpga/interface/beaglebone_black/gpmc/test/bbb-gpmc-test.c

@@ -342,10 +342,12 @@ static void io_setup(void)
 
 // 	printf("0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\n\r", *(gpio_char + 0), *(gpio_char + 0), *(gpio_char + 0), *(gpio_char + 0), *(gpio_char + 0), *(gpio_char + 0), *(gpio_char + 0), *(gpio_char + 0));
 // 
+
 	while (1) {
 //		printf("0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\r", *(gpio_char + 0), *(gpio_char + 1), *(gpio_char + 2), *(gpio_char + 3), *(gpio_char + 4), *(gpio_char + 5), *(gpio_char + 6), *(gpio_char + 7));
 //		printf("0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\r", *(gpio_char + 0), *(gpio_char + 1), *(gpio_char + 2), *(gpio_char + 3), *(gpio_char + 0x1000), *(gpio_char + 0x1001), *(gpio_char + 0x1002), *(gpio_char + 0x1003));
-		printf("0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\r", *(gpio_char + 0), *(gpio_char + 1), *(gpio_char + 2), *(gpio_char + 3), *(gpio_char + 0x4000), *(gpio_char + 0x4001), *(gpio_char + 0x4002), *(gpio_char + 0x4003));
+// 		printf("0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\r", *(gpio_char + 0), *(gpio_char + 1), *(gpio_char + 2), *(gpio_char + 3), *(gpio_char + 0x4000), *(gpio_char + 0x4001), *(gpio_char + 0x4002), *(gpio_char + 0x4003));
+		printf("0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\r", *(gpio_char + 0), *(gpio_char + 1), *(gpio_char + 2), *(gpio_char + 3), *(gpio_char + 0x0a), *(gpio_char + 0x0b), *(gpio_char + 0x0c), *(gpio_char + 0x0d));
 // 		printf("0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\t0x%02x\r", *(gpio_char + 0x4000), *(gpio_char + 0x4001), *(gpio_char + 0x4002), *(gpio_char + 0x4003), *(gpio_char + 0x4000), *(gpio_char + 0x4001), *(gpio_char + 0x4002), *(gpio_char + 0x4003));
 		usleep(10);
 	}

servers/fpga_server_lin/src/fpga_conn.cpp

@@ -111,6 +111,13 @@ void FPGASocket::connectionClosedHandler() {
 		printf("[DEBUG] Connection from %s closed\n\r", m_remoteHost.ascii()); fflush(stdout);
 	}
 
+	if (m_interfaceType == "gpmc") {
+		// Reset user device
+		write_gpmc(0x0c, read_gpmc(0x0c) | 0x03);
+		usleep(100);
+		write_gpmc(0x0c, read_gpmc(0x0c) & ~0x03);
+	}
+
 	if (m_criticalSection > 0) {
 		throw exit_exception(-1);
 	}
@@ -254,6 +261,11 @@ int FPGASocket::setupGPMC() {
 		}
 		printf("[DEBUG] Detected a compatible uLab hardware debug interface (model number 0x%02x, firmware version 0x%02x)\n", model, version); 
 
+		// Reset user device
+		write_gpmc(0x0c, read_gpmc(0x0c) | 0x03);
+		usleep(100);
+		write_gpmc(0x0c, read_gpmc(0x0c) & ~0x03);
+
 		// Clear out DSP and LCD RAM
 		unsigned char dsp_ram_bits = read_gpmc(0x0b);
 		unsigned int dsp_ram_offset = (1 << dsp_ram_bits);