Pacman/platform/nspire/public/platform.h

#ifndef INCLUDE_PLATFORM_H
#define INCLUDE_PLATFORM_H

#include <cstdint>

#define TIMER_FREQ 32768

typedef uint16_t *texture_data_t;

#endif