lab/x1/linkerscript/main.c

#include <libbrain.h>

int main(void *arg)
{
    sys_printf("Hello!\n");
    return 0;
}