diff --git a/CMakeLists.txt b/CMakeLists.txt
index 5d04495..e46e3c9 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -22,6 +22,10 @@ if(TGT_BSP MATCHES "arm/raspberrypi" OR TGT_BSP MATCHES "arm/beagleboneblack")
     set(FSFW_HAL_ADD_LINUX "Add the FSFW HAL for Linux systems" ON)
 endif()
 
+if(TGT_BSP MATCHES "arm/raspberrypi")
+    set(FSFW_HAL_ADD_RASPBERRY_PI "Add Raspberry Pi specific HAL files" ON)
+endif()
+
 # Perform steps like loading toolchain files where applicable.
 include(${CMAKE_SCRIPT_PATH}/PreProjectConfig.cmake)
 pre_project_config()
diff --git a/NOTICE b/NOTICE
index 75ba469..d97736e 100644
--- a/NOTICE
+++ b/NOTICE
@@ -21,17 +21,7 @@ This example uses:
 The Flight Software Framework from egit@irs.uni-stuttgart.de.
 
 And optional:
-The fsfw_hal from egit@irs.uni-stuttgart.de, 
-
-Hardware Abstraction Layers for common OS / Hardware.
 
 tmtccmd, from https://github.com/rmspacefish/tmtccmd/,
 
 A python based TM/TC Tool for testing via the PUS Interface.
-
-rtems-cmake, from https://github.com/rmspacefish/tmtccmd/
-
-A project to build RTEMS with cmake.
-
-
-