From 1fc80ba6bd25b80afba8b1c04b7f5cad92f5fad3 Mon Sep 17 00:00:00 2001
From: Michal Moskal <michal@moskal.me>
Date: Tue, 12 Dec 2017 13:00:09 +0000
Subject: [PATCH] Set flash attributes explicitly in case the relevant changes
 are ever merged from master to v0.

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

diff --git a/pxtarget.json b/pxtarget.json
index 0e7c6125..f937782e 100644
--- a/pxtarget.json
+++ b/pxtarget.json
@@ -28,6 +28,9 @@
         "driveName": "MICROBIT",
         "hexMimeType": "application/x-microbit-hex",
         "openocdScript": "source [find interface/cmsis-dap.cfg]; source [find target/nrf51.cfg]",
+        "flashUsableEnd": 245760,
+        "flashEnd": 245760,
+        "flashCodeAlign": 1024,
         "upgrades": [{
                 "type": "package",
                 "map": {