Pacman/platform/nspire/public/platform.h

#ifndef INCLUDE_PLATFORM_H
#define INCLUDE_PLATFORM_H

#include <cstdint>
#include <libndls.h>

#define TIMER_FREQ 32768
#define ACTIVE_WAIT

typedef uint16_t *texture_data_t;
typedef t_key keycode_t;

#endif