437dde701c
Conflict in src/rtos/FreeRTOS.c due to fbea7d5d38 -- resolved by replacing `target->type->name` with a call to `target_type_name()`. Change-Id: I56702c6133894458903de7a4d764903004aa8b86
fbea7d5d38
a35e254c53