#include <libultraship.h>


extern u32 osTvType;
extern u32 osResetType;

extern u8 osAppNmiBuffer[64];