#include "os_types.h" #include "dbg_io.h" #include "iot_diag.h" #include "iot_io.h" int main(void) { dbg_uart_init(); iot_printf("hello world.\n"); while(1); return 0; }