toolchain cmakefile is BSP-specific

cmake/Platform/rt-kernel.cmake

@@ -9,8 +9,6 @@ cmake_minimum_required (VERSION 3.1.2)
 # Get environment variables
 set(RTK $ENV{RTK} CACHE STRING
   "Location of rt-kernel tree")
-set(BSP $ENV{BSP} CACHE STRING
-  "The name of the BSP to build for")
 
 # Avoid warning when re-running cmake
 set(DUMMY ${CMAKE_TOOLCHAIN_FILE})

cmake/rt-kernel.cmake

@@ -1,7 +1,4 @@
 
-set(HAL_SOURCES
-  ${SOES_SOURCE_DIR}/soes/hal/rt-kernel-spi/esc_hw.c
-  )
 set(HAL_INCLUDES
   ${SOES_SOURCE_DIR}/include/sys/gcc
   )

cmake/toolchain/rt-kernel-twrk60.cmake

@@ -13,4 +13,9 @@ CMAKE_FORCE_CXX_COMPILER(arm-eabi-g++ GNU)
 
 set(ARCH kinetis)
 set(CPU cortex-m4f)
+set(BSP twrk60f)
 set(MACHINE_FLAGS "-mcpu=cortex-m4 -mthumb -mfloat-abi=hard -mfpu=fpv4-sp-d16")
+
+set(HAL_SOURCES
+  ${SOES_SOURCE_DIR}/soes/hal/rt-kernel-twrk60/esc_hw.c
+  )