return 0;
}
+int device_board_get_boot_mode(char *buffer, int len)
+{
+ return hal_device_board_get_boot_mode(buffer, len);
+}
+
int device_board_get_boot_reason(char *buffer, int len)
{
return hal_device_board_get_boot_reason(buffer, len);
}
+
+int device_board_switch_partition(char partition_ab)
+{
+ return hal_device_board_switch_partition(partition_ab);
+}
+
+int device_board_clear_partition_ab_cloned(void)
+{
+ return hal_device_board_clear_partition_ab_cloned();
+}