#ifndef HELLO_RAVEN_H_
#define HELLO_RAVEN_H_

extern "C" void handle_m_ext_interrupt();

#endif /* HELLO_RAVEN_H_ */