/**
 * @file
 * @brief
 *
 * @date 21.06.10
 * @author Anton Kozlov
 */

#include <hal/arch.h>

void arch_init(void) {
}

void arch_idle(void) {
}

void arch_shutdown(arch_shutdown_mode_t mode) {
	while (1);
}
