POSIX-UEFI/examples/01_helloworld/helloworld.c

#include <uefi.h>

/**
 * Classic Hello World example
 */
int main(int argc, char **argv)
{
    (void)argc;
    (void)argv;

    printf("Hello World!\n");
    return 0;
}