link drivers__device to nuttx_karch instead of nuttx_arch in protected build

On protected/kernel build the library would be karch.

Signed-off-by: Jukka Laitinen <jukkax@ssrc.tii.ae>
This commit is contained in:
Jukka Laitinen
2021-01-11 09:50:17 +02:00
parent f6421ac359
commit 01d20ba392
+7 -2
View File
@@ -53,8 +53,13 @@ px4_add_library(drivers__device
${SRCS_PLATFORM}
)
# px4_spibus_initialize (stm32_spibus_initialize)
if (${PX4_PLATFORM} STREQUAL "nuttx")
target_link_libraries(drivers__device PRIVATE nuttx_arch)
if (NOT DEFINED CONFIG_BUILD_FLAT)
target_link_libraries(drivers__device PRIVATE nuttx_karch)
else()
target_link_libraries(drivers__device PRIVATE nuttx_arch)
endif()
endif()
target_link_libraries(drivers__device PRIVATE cdev)
target_link_libraries(drivers__device PRIVATE px4_work_queue)