Debugging an emulated OpenCL FPGA kernel

Hi, We are using Intel FPGA OpenCL SDK 21.1. We cannot successfully set a breakpoint in the kernel when using the emulator and GDB. The breakpoint we set is never hit. We installed GCC 7.2 ...