Loading files
This 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);
}165036038This file is pinned to the selected release. Download the original to open it in your design tool.