#include <rtthread.h> void hello() { rt_kprintf("Hello RT-Thread\n"); }