From 2cdb1f30c49ba460b0850d23ba9c85e0336af290 Mon Sep 17 00:00:00 2001
From: Keith Packard <keithp@keithp.com>
Date: Tue, 11 Sep 2018 11:57:50 -0700
Subject: altos: Add generic LED driver.

This driver uses the generic GPIO functions and allows per-LED port
and pin configuration. It supports up to 32 LEDs.

Rename SoC-specific LED drivers.

Remove enabled parameter to ao_led_init

Signed-off-by: Keith Packard <keithp@keithp.com>
---
 src/kernel/ao_task.c | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/kernel/ao_task.c')

diff --git a/src/kernel/ao_task.c b/src/kernel/ao_task.c
index 4f7072cb..dc5c1913 100644
--- a/src/kernel/ao_task.c
+++ b/src/kernel/ao_task.c
@@ -569,4 +569,5 @@ ao_start_scheduler(void)
 	ao_arch_start_scheduler();
 #endif
 	ao_yield();
+	__builtin_unreachable();
 }
-- 
cgit v1.2.3