Rename "timer_callback" to "timer_handler"
Don't print ticks, just keep a millisecond count
Enable interrupts correctly
Add uptime() function
Add timer_notify() function to print uptime and call notify()
It's "Interval" not "Interrupt"
Add %[xX] directive to printf
Add %p directive