use HAL (no os required)

Also make HAL a subdirectory of soes for easy including of soes sources
in other projects

CMakeLists.txt

@@ -19,7 +19,7 @@ configure_file (
 include_directories("${SOES_SOURCE_DIR}/include")
 include_directories("${SOES_SOURCE_DIR}/soes")
 
-# Platform flags, OSAL sources
+# Platform flags and sources
 include(${CMAKE_SYSTEM_NAME})
 
 # Source paths

cmake/rt-kernel.cmake

@@ -1,9 +1,7 @@
 
-set(OSAL_SOURCES
-  ${SOES_SOURCE_DIR}/os_hw/rtl_spi/esc_hw.c
+set(HAL_SOURCES
+  ${SOES_SOURCE_DIR}/soes/hal/rt-kernel-spi/esc_hw.c
   )
-set(OSAL_INCLUDES
+set(HAL_INCLUDES
   ${SOES_SOURCE_DIR}/include/sys/gcc
-  ${RTK}/include/kern
-  ${RTK}/include/drivers
   )

soes/CMakeLists.txt

@@ -7,10 +7,10 @@ add_library (soes
   esc_coe.h
   esc_foe.c
   esc_foe.h
-  ${OSAL_SOURCES}
+  ${HAL_SOURCES}
   )
 
-include_directories(${OSAL_INCLUDES})
+include_directories(${HAL_INCLUDES})
 
 install (TARGETS soes DESTINATION bin)
 install (FILES