Added basic timer, irq-controller-driver and isr registry