From ee6664c29c2773d612f7d9d305736b17ed737056 Mon Sep 17 00:00:00 2001
From: Michal Moskal <michal@moskal.me>
Date: Wed, 5 Jul 2017 01:28:45 +0200
Subject: [PATCH] Use new PXT flags

---
 pxtarget.json | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/pxtarget.json b/pxtarget.json
index d6b465bf..0b72ed4f 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -29,14 +29,15 @@
     },
     "compile": {
         "isNative": true,
-        "useUF2": true,
+        "useELF": true,
         "hasHex": true,
         "deployDrives": ".*",
         "deployFileMarker": "INFO_UF2.TXT",
         "driveName": "LEGO",
         "flashCodeAlign": 256,
         "floatingPoint": true,
-        "taggedInts": true
+        "taggedInts": true,
+        "stackAlign": 2
     },
     "runtime": {
         "mathBlocks": true,