Use tip from https://github.com/ksandstr/mung/blob/master/user/testbench/delay.c to call the RTC service
Try to print fired interrupt