We have a design with Microblaze processor targeted to Virtex-7 VC707 FPGA board. The design has our controller interfaced to Microblaze processor and Xilinx's Memory interface controller. This was perfectly working on the board. Recently we enabled the Interrupt interface on the Microblaze and as part of this we also included the interrupt controller block. We tried to excute the "hello world" program using this design, but we get the error "Cannot stop Microblaze. Microblaze is not being clocked". I have attached the snapshot of the error. Could you help us in addressing this issue?