It should be safe to do this since the uart does not use the gic or timers. This will allow printing from the gic or timer driver.
It should be safe to do this since the uart does not use the gic or timers. This will allow printing from the gic or timer driver.