Xiang Xiao b12f588140 Rename CONFIG_LIB_BOARDCTL to CONFIG_BOARDCTL ... since boardctl isn't a libc feature Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>		2021-08-06 13:58:26 +02:00
..
mirtoo	Rename CONFIG_LIB_BOARDCTL to CONFIG_BOARDCTL	2021-08-06 13:58:26 +02:00
pic32mx-starterkit	Rename CONFIG_LIB_BOARDCTL to CONFIG_BOARDCTL	2021-08-06 13:58:26 +02:00
pic32mx7mmb	Rename CONFIG_LIB_BOARDCTL to CONFIG_BOARDCTL	2021-08-06 13:58:26 +02:00
sure-pic32mx	Rename CONFIG_LIB_BOARDCTL to CONFIG_BOARDCTL	2021-08-06 13:58:26 +02:00
ubw32	Rename CONFIG_LIB_BOARDCTL to CONFIG_BOARDCTL	2021-08-06 13:58:26 +02:00