michaelh/zephyr
1
0
Fork 0
Code Releases Activity

shell: kernel: list configured devices

Browse source 
Very simple command to list configured devices and their priorities.

Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2018-10-05 09:38:55 -05:00
commit 79f434273e
5 changed files with 117 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
subsys/shell/modules/kernel_service.c
View file

@ -12,6 +12,7 @@
#include <misc/reboot.h>
#include <misc/stack.h>
#include <string.h>
#include <device.h>
static int cmd_kernel_version(const struct shell *shell,
size_t argc, char **argv)