#include <stdlib.h>

#include "tee_internal_api.h"

void abort(void) {
  _TEE_Panic(0, NULL, 0);
}