diff options
Diffstat (limited to 'cpukit/include/machine/_kernel_types.h')
| -rw-r--r-- | cpukit/include/machine/_kernel_types.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/cpukit/include/machine/_kernel_types.h b/cpukit/include/machine/_kernel_types.h index 892ec413d5..a02f328aa2 100644 --- a/cpukit/include/machine/_kernel_types.h +++ b/cpukit/include/machine/_kernel_types.h @@ -28,6 +28,8 @@ #error "must be included via <sys/types.h> in kernel space" #endif +#include <stdbool.h> + typedef int boolean_t; typedef struct device *device_t; typedef char vm_memattr_t; /* memory attribute codes */ |