Benjamin Walsh 826edfc16b reboot: add reboot infrastructure ... Add the REBOOT kconfig option, along with the sys_reboot() API. This infrastructure is not enough to actually perform a reboot. Architecture/platform code must be provided as well, in the form of a sys_arch_reboot() function. Change-Id: I5b2b15855ff06453f2764f3e3b3b7d6a4a078723 Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>		2016-02-05 20:24:43 -05:00
..
debug	debug: add safe memory access routines	2016-02-05 20:24:42 -05:00
generated	Kbuild: depend CONFIG_MICROKERNEL for building sysgen file	2016-02-05 20:15:33 -05:00
Kconfig	reboot: add reboot infrastructure	2016-02-05 20:24:43 -05:00
Makefile	reboot: add reboot infrastructure	2016-02-05 20:24:43 -05:00
printk.c	printk: Standardize support for %%	2016-02-05 20:24:36 -05:00
reboot.c	reboot: add reboot infrastructure	2016-02-05 20:24:43 -05:00