#include "hello.h" void Print_Hello_World(void) { rt_kprintf("Hello World!\n"); }