#include <stdint.h> #include <stdio.h> #include <stdlib.h> int main(void) { printf("hello rt-thread\n"); return 0; }