cleonos/cleonos/c/apps/hello_main.c

#include <stdio.h>

int cleonos_app_main(void) {
    (void)printf("[USER][HELLO] Hello world from %s\n", "/hello.elf");
    return 0;
}