Benjamin Walsh a4ec963138 init: use SYS_INIT() where it makes sense ... Mostly SoC initialization and some kernel subsystems, but also some device drivers like the interrupt controllers. Change-Id: I8dc1844c33acd877c075b6b03558fdca6f87500b Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>		2016-02-05 20:25:25 -05:00
..
debug	init: use SYS_INIT() where it makes sense	2016-02-05 20:25:25 -05:00
generated	Kbuild: depend CONFIG_MICROKERNEL for building sysgen file	2016-02-05 20:15:33 -05:00
Kconfig	build: Add C++ support	2016-02-05 20:25:23 -05:00
Makefile	build: Add C++ support	2016-02-05 20:25:23 -05:00
cpp_ctors.c	build: Add C++ support	2016-02-05 20:25:23 -05:00
cpp_dtors.c	build: Add C++ support	2016-02-05 20:25:23 -05:00
cpp_init_array.c	build: Add C++ support	2016-02-05 20:25:23 -05:00
cpp_virtual.c	build: Add C++ support	2016-02-05 20:25:23 -05:00
cpp_vtable.cpp	build: Add C++ support	2016-02-05 20:25:23 -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