#include "core/log.h"
#include "shared/devices.h"
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
#define SERIAL_MAX 128
static bool board_dev_available = false;
#include <libsyscommon/ini-parser.h>
#include <system/syscommon-plugin-deviced-core-interface.h>
#include <system/syscommon-plugin-deviced-power-interface.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
#include "core/log.h"
#include "shared/device-notifier.h"
#include <libsyscommon/list.h>
#include <libsyscommon/ini-parser.h>
#include <libsyscommon/common.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
#include <shared/log.h>
#include <shared/common.h>
*/
#include <stdio.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
int main(int argc, char *argv[])
{
*/
#include <stdio.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
int main(int argc, char *argv[])
{
*/
#include <stdio.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
int main(int argc, char *argv[])
{
*/
#include <stdio.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
int main(int argc, char *argv[])
{
*/
#include <stdio.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
int main(int argc, char *argv[])
{
*/
#include <stdio.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
int main(int argc, char *argv[])
{
*/
#include <stdio.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
int main(int argc, char *argv[])
{
*/
#include <stdio.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
int main(int argc, char *argv[])
{
*/
#include <stdio.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
int main(int argc, char *argv[])
{
#include <stdio.h>
#include <string.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
#define AVAILABLE_STATUS_NUM 3
#include <errno.h>
#include <limits.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
static int parse_integer(const char *str, int *val)
{
*/
#include <stdio.h>
-#include <hal/hal-board.h>
+#include <hal/hal-device-board.h>
int main(int argc, char *argv[])
{