diff options
Diffstat (limited to 'nuttx/configs/pic32mz-starterkit/src/pic32mz_boot.c')
| -rw-r--r-- | nuttx/configs/pic32mz-starterkit/src/pic32mz_boot.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nuttx/configs/pic32mz-starterkit/src/pic32mz_boot.c b/nuttx/configs/pic32mz-starterkit/src/pic32mz_boot.c index f13e92432..0212eca53 100644 --- a/nuttx/configs/pic32mz-starterkit/src/pic32mz_boot.c +++ b/nuttx/configs/pic32mz-starterkit/src/pic32mz_boot.c @@ -42,6 +42,7 @@ #include <debug.h> #include <nuttx/arch.h> +#include <nuttx/board.h> #include "pic32mz-starterkit.h" |