Loading files
This file is pinned to the selected release. Download the original to open it in your design tool.
7d2427ddfThis file is pinned to the selected release. Download the original to open it in your design tool.
#include "tbman.h"
int main()
{
tbman_puts("Starting\n");
tbman_printf("String printf\n");
tbman_printf("Printing int: %d\n", 1234);
tbman_exit(0);
}