made sure to disable interrupts in os_init