HAL_ChibiOS: bring in hal.h where it is needed

libraries/AP_HAL_ChibiOS/CANFDIface.cpp

@@ -38,6 +38,7 @@
  * Code by Siddharth Bharat Purohit
  */
 
+#include <hal.h>
 #include "AP_HAL_ChibiOS.h"
 
 #if HAL_NUM_CAN_IFACES

libraries/AP_HAL_ChibiOS/CanIface.cpp

@@ -38,6 +38,7 @@
  * Code by Siddharth Bharat Purohit
  */
 
+#include <hal.h>
 #include "AP_HAL_ChibiOS.h"
 
 #if HAL_NUM_CAN_IFACES

libraries/AP_HAL_ChibiOS/DSP.cpp

@@ -15,6 +15,7 @@
  * Code by Andy Piper and the betaflight team
  */
 
+#include <hal.h>
 #include "AP_HAL_ChibiOS.h"
 
 #if HAL_WITH_DSP

libraries/AP_HAL_ChibiOS/Device.cpp

@@ -12,6 +12,8 @@
  * You should have received a copy of the GNU General Public License along
  * with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
+
+#include <hal.h>
 #include "Device.h"
 
 #include <AP_HAL/AP_HAL.h>

libraries/AP_HAL_ChibiOS/GPIO.cpp

@@ -14,6 +14,8 @@
  *
  * Code by Andrew Tridgell and Siddharth Bharat Purohit
  */
+
+#include <hal.h>
 #include "GPIO.h"
 
 #include <AP_BoardConfig/AP_BoardConfig.h>

libraries/AP_HAL_ChibiOS/HAL_ChibiOS_Class.cpp

@@ -19,6 +19,7 @@
 
 #include <assert.h>
 
+#include <hal.h>
 #include "HAL_ChibiOS_Class.h"
 #include <AP_HAL_Empty/AP_HAL_Empty_Private.h>
 #include <AP_HAL_ChibiOS/AP_HAL_ChibiOS_Private.h>

libraries/AP_HAL_ChibiOS/HAL_ChibiOS_Class.h

@@ -26,7 +26,6 @@
 #endif
 #include <stdio.h>
 #include "ch.h"
-#include "hal.h"
 
 class HAL_ChibiOS : public AP_HAL::HAL {
 public:

libraries/AP_HAL_ChibiOS/I2CDevice.cpp

@@ -12,6 +12,8 @@
  * You should have received a copy of the GNU General Public License along
  * with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
+
+#include <hal.h>
 #include "I2CDevice.h"
 
 #include <AP_HAL/AP_HAL.h>

libraries/AP_HAL_ChibiOS/QSPIDevice.cpp

@@ -17,6 +17,7 @@
  *         Siddharth Bharat Purohit, Cubepilot Pty. Ltd.
  */
 
+#include <hal.h>
 #include "QSPIDevice.h"
 
 #include <AP_HAL/AP_HAL.h>

libraries/AP_HAL_ChibiOS/RCInput.cpp

@@ -14,6 +14,8 @@
  *
  * Code by Andrew Tridgell and Siddharth Bharat Purohit
  */
+
+#include <hal.h>
 #include "RCInput.h"
 #include "hal.h"
 #include "hwdef/common/ppm.h"

libraries/AP_HAL_ChibiOS/RCOutput.cpp

@@ -15,6 +15,8 @@
  * Code by Andrew Tridgell and Siddharth Bharat Purohit
  * Bi-directional dshot based on Betaflight, code by Andy Piper and Siddharth Bharat Purohit
  */
+
+#include <hal.h>
 #include "RCOutput.h"
 #include <AP_Math/AP_Math.h>
 #include <AP_BoardConfig/AP_BoardConfig.h>

libraries/AP_HAL_ChibiOS/RCOutput_bdshot.cpp

@@ -14,6 +14,8 @@
  *
  * Bi-directional dshot based on Betaflight, code by Andy Piper and Siddharth Bharat Purohit
  */
+
+#include <hal.h>
 #include "RCOutput.h"
 #include <AP_Math/AP_Math.h>
 #include "hwdef/common/stm32_util.h"

libraries/AP_HAL_ChibiOS/RCOutput_serial.cpp

@@ -12,6 +12,8 @@
  * You should have received a copy of the GNU General Public License along
  * with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
+
+#include <hal.h>
 #include "RCOutput.h"
 #include <AP_Math/AP_Math.h>
 #include "hwdef/common/stm32_util.h"

libraries/AP_HAL_ChibiOS/SPIDevice.cpp

@@ -12,6 +12,8 @@
  * You should have received a copy of the GNU General Public License along
  * with this program.  If not, see <http://www.gnu.org/licenses/>.
  */
+
+#include <hal.h>
 #include "SPIDevice.h"
 
 #include <AP_HAL/AP_HAL.h>

libraries/AP_HAL_ChibiOS/Scheduler.cpp

@@ -16,6 +16,7 @@
  */
 #include <AP_HAL/AP_HAL.h>
 
+#include <hal.h>
 #include "AP_HAL_ChibiOS.h"
 #include "Scheduler.h"
 #include "Util.h"

libraries/AP_HAL_ChibiOS/Semaphores.cpp

@@ -14,8 +14,10 @@
  *
  * Code by Andrew Tridgell and Siddharth Bharat Purohit
  */
+
 #include <AP_HAL/AP_HAL.h>
 #include "Semaphores.h"
+#include <hal.h>
 #include "AP_HAL_ChibiOS.h"
 
 #if CH_CFG_USE_MUTEXES == TRUE

libraries/AP_HAL_ChibiOS/SoftSigReader.cpp

@@ -15,6 +15,7 @@
  * Code by Andrew Tridgell and Siddharth Bharat Purohit
  */
 
+#include <hal.h>
 #include "SoftSigReader.h"
 #include "hwdef/common/stm32_util.h"
 

libraries/AP_HAL_ChibiOS/SoftSigReaderInt.cpp

@@ -14,6 +14,7 @@
  *
  */
 
+#include <hal.h>
 #include "SoftSigReaderInt.h"
 #include "hwdef/common/stm32_util.h"
 

libraries/AP_HAL_ChibiOS/UARTDriver.cpp

@@ -17,6 +17,8 @@
 #include <AP_HAL/AP_HAL.h>
 
 #if CONFIG_HAL_BOARD == HAL_BOARD_CHIBIOS && !defined(HAL_NO_UARTDRIVER)
+
+#include <hal.h>
 #include "UARTDriver.h"
 #include "GPIO.h"
 #include <usbcfg.h>

libraries/AP_HAL_ChibiOS/Util.cpp

@@ -17,6 +17,7 @@
 #include <AP_HAL/AP_HAL.h>
 #include <AP_Math/AP_Math.h>
 
+#include <hal.h>
 #include "Util.h"
 #include <ch.h>
 #include "RCOutput.h"

libraries/AP_HAL_ChibiOS/hwdef/scripts/STM32H743xx.py

@@ -53,7 +53,8 @@ mcu = {
     'CPU_FLAGS' : '-mcpu=cortex-m7 -mfpu=fpv5-d16 -mfloat-abi=hard',
 
     'DEFINES' : {
-        'HAL_HAVE_HARDWARE_DOUBLE' : '1'
+        'HAL_HAVE_HARDWARE_DOUBLE' : '1',
+        'HAL_WITH_MCU_MONITORING' : '1'
     }
 }
 

libraries/AP_HAL_ChibiOS/sdcard.cpp

@@ -14,6 +14,7 @@
  *
  */
 
+#include <hal.h>
 #include "SPIDevice.h"
 #include "sdcard.h"
 #include "hwdef/common/spi_hook.h"

libraries/AP_HAL_ChibiOS/shared_dma.cpp

@@ -14,6 +14,8 @@
  *
  * Code by Andrew Tridgell and Siddharth Bharat Purohit
  */
+
+#include <hal.h>
 #include "shared_dma.h"
 
 /*