I am pretty new to the 8051 development tools. We currently got the EZ-USB-FX Development board. Since I am pretty new to use C for firmware, I don't find any information on how to deal with and use the 8051 interrupts like timer, serial port, general, etc. Is there any document or even a book on this topic?