removed fsfw_hal

linux/devices/HeaterHandler.cpp

@@ -4,7 +4,7 @@
 
 #include <fsfw/objectmanager/ObjectManager.h>
 #include <fsfw/ipc/QueueFactory.h>
-#include <fsfw_hal/common/gpio/GpioCookie.h>
+#include <fsfw/hal/common/gpio/GpioCookie.h>
 
 HeaterHandler::HeaterHandler(object_id_t setObjectId_, object_id_t gpioDriverId_,
         CookieIF * gpioCookie_, object_id_t mainLineSwitcherObjectId_, uint8_t mainLineSwitch_) :

linux/devices/HeaterHandler.h

@@ -11,7 +11,7 @@
 #include <fsfw/devicehandlers/DeviceHandlerIF.h>
 #include <fsfw/devicehandlers/CookieIF.h>
 #include <fsfw/timemanager/Countdown.h>
-#include <fsfw_hal/common/gpio/GpioIF.h>
+#include <fsfw/hal/common/gpio/GpioIF.h>
 #include <unordered_map>
 
 /**

linux/devices/SolarArrayDeploymentHandler.cpp

@@ -3,7 +3,7 @@
 #include <devices/powerSwitcherList.h>
 #include <devices/gpioIds.h>
 
-#include <fsfw_hal/common/gpio/GpioCookie.h>
+#include <fsfw/hal/common/gpio/GpioCookie.h>
 #include <fsfw/ipc/QueueFactory.h>
 #include <fsfw/objectmanager/ObjectManager.h>
 

linux/devices/SolarArrayDeploymentHandler.h

@@ -9,7 +9,7 @@
 #include <fsfw/devicehandlers/CookieIF.h>
 #include <fsfw/devicehandlers/DeviceHandlerIF.h>
 #include <fsfw/timemanager/Countdown.h>
-#include <fsfw_hal/common/gpio/GpioIF.h>
+#include <fsfw/hal/common/gpio/GpioIF.h>
 #include <unordered_map>
 
 /**

linux/devices/SusHandler.cpp

@@ -2,7 +2,7 @@
 #include "OBSWConfig.h"
 
 #include <fsfw/datapool/PoolReadGuard.h>
-#include <fsfw_hal/linux/spi/SpiComIF.h>
+#include <fsfw/hal/linux/spi/SpiComIF.h>
 
 SusHandler::SusHandler(object_id_t objectId, object_id_t comIF, CookieIF * comCookie,
         LinuxLibgpioIF* gpioComIF, gpioId_t chipSelectId) :

linux/devices/SusHandler.h

@@ -3,7 +3,7 @@
 
 #include "devicedefinitions/SusDefinitions.h"
 #include <fsfw/devicehandlers/DeviceHandlerBase.h>
-#include <fsfw_hal/linux/gpio/LinuxLibgpioIF.h>
+#include <fsfw/hal/linux/gpio/LinuxLibgpioIF.h>
 
 /**
  * @brief	This is the device handler class for the SUS sensor. The sensor is