scripts/vivado/firmware.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14

void putc(char c)
{
	*(volatile char*)0x10000000 = c;
}

void puts(const char *s)
{
	while (*s) putc(*s++);
}

void main()
{
	puts("Hello World!\n");
}