#include <stdlib.h>
#include <stdint.h>
#include <stddef.h>
#include <stdio.h>

#define DEVICE_NAME "HTX 4K"

void driver_init(void)
{
    printf("Hello from G-Wolves HTX driver !\n");
}

uint32_t driver_getkey(void)
{
    return 0;
}

char* driver_get_name(void)
{
    return DEVICE_NAME;
}

char* driver_get_image(void)
{
    return "g-wolves/htx/htx_0.png";
}