From f2e1fb7ea25d15841c76cf13dfa9995cf4758f9d Mon Sep 17 00:00:00 2001
From: Ilya Averyanov <i.averyanov@geoscan.aero>
Date: Wed, 2 Sep 2015 09:03:10 -0600
Subject: [PATCH] LPC43xx:  Fix build with FPU enabled

---
 arch/arm/src/lpc43xx/lpc43_start.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/arch/arm/src/lpc43xx/lpc43_start.c b/arch/arm/src/lpc43xx/lpc43_start.c
index bc51e226b0..092271e185 100644
--- a/arch/arm/src/lpc43xx/lpc43_start.c
+++ b/arch/arm/src/lpc43xx/lpc43_start.c
@@ -63,6 +63,7 @@
 
 #include <nuttx/init.h>
 #include <arch/board/board.h>
+#include <arch/irq.h>
 
 #include "up_arch.h"
 #include "up_internal.h"