Carlo Caione f2cc624915 subsystem: kernel_shell: Fix pointer cast to u32_t ... The current code is assuming that the pointer to the thread structure is 32bit, casting it to u32_t before printing its address. This is wrong on 64bit architectures (CONFIG_64BIT) and the compiler complains. Fix the problem by using '%p' to print the address. Signed-off-by: Carlo Caione <ccaione@baylibre.com>		2019-11-13 09:00:03 +01:00
..
CMakeLists.txt	license: cleanup: add SPDX Apache-2.0 license identifier	2019-04-07 08:45:22 -04:00
device_service.c	shell: Modify subcommands to use SHELL_STATIC_SUBCMD_SET_CREATE	2019-02-20 07:31:35 -05:00
Kconfig	kconfig: Clean up header comments and make them consistent	2019-11-04 17:31:27 -05:00
kernel_service.c	subsystem: kernel_shell: Fix pointer cast to u32_t	2019-11-13 09:00:03 +01:00