897b61b057
to better align with the arch, boards and drivers naming convention Signed-off-by: Xiang Xiao <xiaoxiang@xiaomi.com>
This directory exists to hold an empty Kconfig which is used when no nuttx/external is present.
897b61b057