/**
 * @file
 * @brief Platform specific crash handling functions.
**/

#ifndef CRASH_H
#define CRASH_H

#include <stdio.h>

void init_crash_handler();
void dump_crash_info(FILE* file);
void write_stack_trace(FILE* file, int ignore_count);

#endif
