#include "mbed.h" static void get_thread_id(){ osThreadId thread_id = osThreadGetId(); printf("main thread Id: %p\r\n", thread_id); } int main(){ get_thread_id(); while (true){ printf("Alive\r\n"); wiat_ms(500); } }