@ -1,9 +1,10 @@
#include "Semaphores.h"
#include <task.h>
#if CONFIG_HAL_BOARD == HAL_BOARD_SMACCM
using namespace SMACCM;
extern const AP_HAL::HAL& hal;