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	…
Kconfig	kconfig: Clean up header comments and make them consistent	2019-11-04 17:31:27 -05:00
device_service.c	…
kernel_service.c	subsystem: kernel_shell: Fix pointer cast to u32_t	2019-11-13 09:00:03 +01:00