boards: Advanced Technology Labs (ATL) Mantis EDU support and airfarme (SYS_AUTOSTART 4061)

Co-authored-by: Julian Oes <julian@oes.ch>
Co-authored-by: Daniel Agar <daniel@agar.ca>

platforms/nuttx/src/px4/common/include/px4_platform/io_timer_init.h

@@ -38,7 +38,7 @@
 #include <px4_arch/io_timer.h>
 #include <board_config.h>
 
-
+#if defined(DIRECT_PWM_OUTPUT_CHANNELS)
 /**
  * Initialize the IO channel mapping from timer and channel configurations.
  * @param io_timers_conf configured timers
@@ -99,3 +99,4 @@ static inline constexpr io_timers_channel_mapping_t initIOTimerChannelMapping(co
 
 	return ret;
 }
+#endif // DIRECT_PWM_OUTPUT_CHANNELS

platforms/nuttx/src/px4/stm/stm32_common/board_hw_info/CMakeLists.txt

@@ -34,3 +34,4 @@
 px4_add_library(arch_board_hw_info
 	board_hw_rev_ver.c
 )
+target_link_libraries(arch_board_hw_info PRIVATE arch_adc)