/**
 * @file
 * @brief
 *
 * @author Aleksey Zhmulin
 * @date 05.05.24
 */
#ifndef HAL_CPU_IDLE_H_
#define HAL_CPU_IDLE_H_

#include <module/embox/arch/cpu_idle.h>

extern void arch_cpu_idle(void);

#endif /* HAL_CPU_IDLE_H_ */
