# HG changeset patch
# User Paul Boddie <paul@boddie.org.uk>
# Date 1475440472 -7200
# Node ID 8647b2eb5c4d70b6d914d2fd97abfeab1c5e5920
# Parent  934658b3556d52ae0b75a3028ff5e1a12c96e98d
Employ timer-based task switching again.

diff -r 934658b3556d -r 8647b2eb5c4d stage2/irq.c
--- a/stage2/irq.c	Sun Oct 02 16:15:32 2016 +0200
+++ b/stage2/irq.c	Sun Oct 02 22:34:32 2016 +0200
@@ -42,29 +42,15 @@
 
 	if (REG_INTC_IPR & (1 << TIMER_CHAN_IRQ)) {
 
+		/* Switch task. */
+
+		switch_task();
+
 		/* Clear interrupt status. */
 
 		timer_clear();
 	}
 
-	/* GPIO interrupts. */
-
-	if (REG_INTC_IPR & (1 << GPIO_IRQ)) {
-
-		/* Check for the power button. */
-
-		if (gpio_have_irq(GPIO_POWER)) {
-
-			/* Switch task. */
-
-			switch_task();
-
-			/* Clear interrupt status. */
-
-			gpio_clear(GPIO_POWER);
-		}
-	}
-
 	/* Handle other interrupts, anyway. */
 
 	irq_clear();