Anas Nashif 79f434273e shell: kernel: list configured devices ... Very simple command to list configured devices and their priorities. Signed-off-by: Anas Nashif <anas.nashif@intel.com>		2018-10-18 10:15:50 -04:00
..
CMakeLists.txt
device_service.c
Kconfig
kernel_service.c