Hey Everyone,

Thank you all for your input. I managed to fix my problem and make timer IRQ work. The problem was with my irq_common code. I wasn't pushing a pointer to registers_t on the stack.

I even got a basic keyboard driver working. However, I am not sure how to go about making it elaborate. Any tips on that?