From ab00f4c44ed55c6796687301636545f80bf99a0e Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Mon, 2 Mar 2020 15:03:10 +1100
Subject: [PATCH] qemu-arm: Set default board as mps2-an385 to get more flash
 for tests.

And use Ubuntu bionic for qemu-arm Travic CI job.
---
 .travis.yml             | 1 +
 ports/qemu-arm/Makefile | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/.travis.yml b/.travis.yml
index 4164f4fc13..ea2b78b124 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -66,6 +66,7 @@ jobs:
 
     # qemu-arm port
     - stage: test
+      dist: bionic # needed for more recent version of qemu-system-arm with mps2-an385 target
       env: NAME="qemu-arm port build and tests"
       install:
         - sudo apt-get install gcc-arm-none-eabi
diff --git a/ports/qemu-arm/Makefile b/ports/qemu-arm/Makefile
index b31284c59b..f5329fe4d3 100644
--- a/ports/qemu-arm/Makefile
+++ b/ports/qemu-arm/Makefile
@@ -7,7 +7,7 @@ QSTR_DEFS = qstrdefsport.h
 # include py core make definitions
 include $(TOP)/py/py.mk
 
-BOARD ?= netduino2
+BOARD ?= mps2-an385
 
 ifeq ($(BOARD),netduino2)
 CFLAGS += -mthumb -mcpu=cortex-m3 -mfloat-abi=soft