From 06d030b6d919442e53d63292b799a50983144845 Mon Sep 17 00:00:00 2001
From: David Sidrane <David.Sidrane@NscDg.com>
Date: Wed, 17 Jun 2020 14:40:44 -0700
Subject: [PATCH] px4iofirmware Updates for NuttX 9.1.0-

---
 src/modules/px4iofirmware/px4io.c  | 1 +
 src/modules/px4iofirmware/serial.c | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/modules/px4iofirmware/px4io.c b/src/modules/px4iofirmware/px4io.c
index 1400051ca2..3207e518c0 100644
--- a/src/modules/px4iofirmware/px4io.c
+++ b/src/modules/px4iofirmware/px4io.c
@@ -46,6 +46,7 @@
 #include <stdlib.h>
 #include <errno.h>
 #include <string.h>
+#include <malloc.h>
 #include <poll.h>
 #include <signal.h>
 #include <crc32.h>
diff --git a/src/modules/px4iofirmware/serial.c b/src/modules/px4iofirmware/serial.c
index cc106f017c..55bcfb6633 100644
--- a/src/modules/px4iofirmware/serial.c
+++ b/src/modules/px4iofirmware/serial.c
@@ -48,8 +48,8 @@
 
 /* XXX might be able to prune these */
 #include <chip.h>
-#include <up_internal.h>
-#include <up_arch.h>
+#include <arm_internal.h>
+#include <arm_arch.h>
 #include <stm32.h>
 
 //#define DEBUG