void writeDecLen(text_t *device, int value, int width)
Print string representation of a decimal number to output device with a fixed number of digits.
void writeHexLen(text_t *device, int value, int digits)
Print string representation of a hexadecimal number to output device with a fixed number of digits.
void vgatext_setXY(int x, int y)
Set position to x rows and y columns from top-left.
int writeLine(text_t *device, char *str)
Send a string + new line to the device.
void vgatext_setY(int y)
Set cursor to y rows from top.
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.
void vgatext_setCoordPosition(int x, int y)
Set cursor position to Cartesian x, y from bottom-left.
void writeChar(text_t *device, char c)
Send a character to the device.
int getChar(void)
Get char from the debug port.
Structure that contains data used by simple text device libraries.
int vgatext_getY(void)
Get cursor's row position.
int writeStr(text_t *device, char *str)
Send a string to the device.
void vgatext_setColors(int value)
Set palette color index.