changed the device name for the interrupt counter in the PL

removed the acknowledgement of the interrupt triggered by the interrupt counter IP (edge interrupt).

src/algorithms/libs/gnss_sdr_fpga_sample_counter.cc

@@ -293,8 +293,8 @@ uint32_t gnss_sdr_fpga_sample_counter::wait_for_interrupt_and_read_counter()
             printf("acquisition module Interrupt number %d\n", irq_count);
         }
 
-    // acknowledge the interrupt
-    map_base[1] = 0; // writing anything to reg 1 acknowledges the interrupt
+    // it is a rising edge interrupt, the interrupt does not need to be acknowledged
+    //map_base[1] = 0; // writing anything to reg 1 acknowledges the interrupt
 
     // add number of passed samples or read the current counter value for more accuracy
     counter = samples_per_output; //map_base[0];

src/algorithms/libs/gnss_sdr_fpga_sample_counter.h

@@ -68,7 +68,7 @@ private:
     bool flag_enable_send_msg;
     int32_t fd;                   			// driver descriptor
     volatile uint32_t *map_base;  // driver memory map
-    std::string device_name = "/dev/uio26";	// HW device name
+    std::string device_name = "/dev/uio2";	// HW device name
 
 public:
     friend gnss_sdr_fpga_sample_counter_sptr gnss_sdr_make_fpga_sample_counter(double _fs, int32_t _interval_ms);