I'm using HAL_UART_Receive_IT, and ISR of USART1_IRQHandler num is 53.

I use hal_dev_irq_trigger -b 0x8000000 to set IRQ base address and use hal_dev_irq_trigger -i 53 to trigger ISR 53 but it dosen't work.

Finally I refer to the code halucinator/src/halucinator/bp_handlers/generic/counter.py because I found SysTick_Handler should be trigger by ISR 15, and halucinator/src/halucinator/bp_handlers/generic/counter.py handles SysTick_Handler. I modified halucinator/src/halucinator/bp_handlers/generic/counter.py add hal_log.info("trigger") and I found the code never trigger. I suspect that IRQ does not work.

halucinator/src/halucinator/bp_handlers/generic/counter.py

    @bp_handler
    def get_value(self, qemu, addr):
        '''
            Gets the counter value
        '''
        self.counts[addr] += self.increment[addr]
+       hal_log.info("trigger")
        return True, self.counts[addr]

Get an error when running halucinator like below

File "<virt_environment>/halucinator/local/lib/python2.7/site-packages/keystone/keystone.py", line 75, in <module>
    raise ImportError("ERROR: fail to load the dynamic library.")

Share keystone's share library gets put in wrong place on Ubuntu 16.04
keystone-engine/keystone#235

Work around

Assuming you virtual environment is halucinator and stored in ~/.virtualenvs. The below resolves this issue

cp ~/.virtualenvs/halucinator/lib/python2.7/lib-dynload/libkeystone.so ~/.virtualenvs/halucinator/local/lib/python2.7/site-packages/keystone/