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.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/kernel/ao_task.h b/src/kernel/ao_task.h
index ffeb7313..f3789fa2 100644
--- a/src/kernel/ao_task.h
+++ b/src/kernel/ao_task.h
@@ -134,7 +134,7 @@ ao_task_info(void);
 
 /* Start the scheduler. This will not return */
 void
-ao_start_scheduler(void);
+ao_start_scheduler(void) __attribute__((noreturn));
 
 #if HAS_TASK_QUEUE
 void
-- 
cgit v1.2.3