#include #include int main(void) { bsp_init(); printf("hello world"); return 0; }