1.1 --- a/stage2/irq.c Sun Oct 02 16:15:32 2016 +0200
1.2 +++ b/stage2/irq.c Sun Oct 02 22:34:32 2016 +0200
1.3 @@ -42,29 +42,15 @@
1.4
1.5 if (REG_INTC_IPR & (1 << TIMER_CHAN_IRQ)) {
1.6
1.7 + /* Switch task. */
1.8 +
1.9 + switch_task();
1.10 +
1.11 /* Clear interrupt status. */
1.12
1.13 timer_clear();
1.14 }
1.15
1.16 - /* GPIO interrupts. */
1.17 -
1.18 - if (REG_INTC_IPR & (1 << GPIO_IRQ)) {
1.19 -
1.20 - /* Check for the power button. */
1.21 -
1.22 - if (gpio_have_irq(GPIO_POWER)) {
1.23 -
1.24 - /* Switch task. */
1.25 -
1.26 - switch_task();
1.27 -
1.28 - /* Clear interrupt status. */
1.29 -
1.30 - gpio_clear(GPIO_POWER);
1.31 - }
1.32 - }
1.33 -
1.34 /* Handle other interrupts, anyway. */
1.35
1.36 irq_clear();