nuttx/boards/or1k/mor1kx
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
..
or1k Rename CONFIG_LIB_BOARDCTL to CONFIG_BOARDCTL 2021-08-06 13:58:26 +02:00