Hardware Timer Interrupt

Thank you Khoih for this library! I have heard that using timer interrupts on ESP8266 in the Arduino framework are ‘simulated’ and not ‘real’ hardware interrupts. Please can you tell me if your library simulates interrupts or if timer1 hardware interrupt operates as a true none-simulated hardware interrupt.
Thank you.