//Gerardo Marx 24/04/2021
#include <stdio.h>
int main(int argc, char *argv[]){
	printf("Hello World from BeagleBoard!!\n");
	return 0;
}