gpio config

hc

2024-11-01 830ce1f69238136c0197858242f16cf44e0d6cb9

 kernel/drivers/Makefile
..
..
@@ -193,3 +193,5 @@
193
193
 obj-$(CONFIG_RK_HEADSET)	+= headset_observe/
194
194
 obj-$(CONFIG_RK_NAND)		+= rk_nand/
195
195
 obj-$(CONFIG_ROCKCHIP_RKNPU)	+= rknpu/
196
+
197
+obj-$(CONFIG_XENOMAI) += xenomai/