/**
* \file
*/
#ifndef HALT_H
#define HALT_H
* Clear interrupts and halt the CPU,
void halt() __attribute__((noreturn));
#endif