void vgatext_setXY(int x, int y)
Set position to x rows and y columns from top-left.
int dprint(text_t *device, const char *format,...) __attribute__((format(printf
Print format "..." args to the device The output is limited to 256 bytes.
vgatext * vgatext_open(int basepin)
Open a VGA connection. This function launches VGA driver code into the next available cog.
VGA_Text native device driver interface.
Structure that contains data used by simple text device libraries.
void vgatext_setColors(int value)
Set palette color index.