mirror of
https://github.com/apache/nuttx.git
synced 2025-07-17 06:09:11 +08:00

`riscv_internal.h` is a private chip level header file, and it should not be included in the board files. Signed-off-by: Huang Qi <huangqi3@xiaomi.com>