diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2015-04-01 18:35:46 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2015-04-01 18:35:46 -0600 |
| commit | 88837ab1dfa4ef4b8c855d14d225d836f5f9edca (patch) | |
| tree | c45ae8c8da688c761637d66cc52d392a8c8d87a4 | |
| parent | 534a2594dc8c01f9f07c52c41841fa68dc6a7dab (diff) | |
| download | px4-nuttx-88837ab1dfa4ef4b8c855d14d225d836f5f9edca.tar.gz px4-nuttx-88837ab1dfa4ef4b8c855d14d225d836f5f9edca.tar.bz2 px4-nuttx-88837ab1dfa4ef4b8c855d14d225d836f5f9edca.zip | |
Fix some missing inclusions in include/nuttx/board.h
| -rw-r--r-- | nuttx/include/nuttx/board.h | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/nuttx/include/nuttx/board.h b/nuttx/include/nuttx/board.h index 48c995215..8efa64668 100644 --- a/nuttx/include/nuttx/board.h +++ b/nuttx/include/nuttx/board.h @@ -100,6 +100,10 @@ #include <nuttx/config.h> +#include <stdint.h> + +#include <nuttx/compiler.h> + #ifdef CONFIG_ARCH_IRQBUTTONS # include <nuttx/irq.h> #endif |