Nordic "nRF52840 Dongle" Support

Ready, can you compile ?

#!/bin/false
# This file is part of Espruino, a JavaScript interpreter for Microcontrollers
#
# Copyright (C) 2013 Gordon Williams <gw@pur3.co.uk>
#
# This Source Code Form is subject to the terms of the Mozilla Public
# License, v. 2.0. If a copy of the MPL was not distributed with this
# file, You can obtain one at http://mozilla.org/MPL/2.0/.
#
# ----------------------------------------------------------------------------------------
# This file contains information for a specific board - the available pins, and where LEDs,
# Buttons, and other in-built peripherals are. It is used to build documentation as well
# as various source and header files for Espruino.
# ----------------------------------------------------------------------------------------

import pinutils;

info = {
 'name' : "nRF52840 U-BLOX NINA B302",
 'link' :  [ "https://www.nordicsemi.com/Software-and-Tools/Development-Kits/nRF52840-Dongle" ],
 'espruino_page_link' : 'nRF52840_B302',
  # This is the PCA10059
 'default_console' : "EV_SERIAL1",
 'default_console_tx' : "D45",
 'default_console_rx' : "D29",
 'default_console_baudrate' : "9600",
 'variables' : 12500, # How many variables are allocated for Espruino to use. RAM will be overflowed if this number is too high and code won't compile.
# 'bootloader' : 1,
 'binary_name' : 'espruino_%v_nrf52840_dongle.hex',
 'build' : {
   'optimizeflags' : '-Os',
   'libraries' : [
     'BLUETOOTH',
     'NET',
     'GRAPHICS',
     'NFC',
     'NEOPIXEL'
   ],
   'makefile' : [
     'DEFINES += -DCONFIG_GPIO_AS_PINRESET', # Allow the reset pin to work
     'DEFINES += -DBOARD_PCA10059',
     'DEFINES += -DNRF_USB=1 -DUSB',
     'NRF_SDK15=1'
   ]
 }
};


chip = {
  'part' : "NRF52840",
  'family' : "NRF52",
  'package' : "QFN48",
  'ram' : 256,
  'flash' : 1024,
  'speed' : 64,
  'usart' : 2,
  'spi' : 3,
  'i2c' : 2,
  'adc' : 1,
  'dac' : 0,
  'saved_code' : {
    'address' : ((246 - 10) * 4096), # Bootloader takes pages 248-255, FS takes 246-247
    'page_size' : 4096,
    'pages' : 10,
    'flash_available' : 1024 - ((31 + 8 + 2 + 10)*4) # Softdevice uses 31 pages of flash, bootloader 8, FS 2, code 10. Each page is 4 kb.
  },
};

devices = {
  'GPIO_1' 	: 			{ 'pin' : 'D13' }, 
  'GPIO_2' 	: 			{ 'pin' : 'D14' }, 
  'GPIO_3' 	: 			{ 'pin' : 'D15' }, 
  'GPIO_4' 	: 			{ 'pin' : 'D16' }, 
  'GPIO_5' 	: 			{ 'pin' : 'D24' }, 
  'GPIO_7' 	:		 	{ 'pin' : 'D25' },
  'GPIO_8' 	: 			{ 'pin' : 'D32' },
  'GPIO_16' : 			{ 'pin' : 'D3'  }, 
  'GPIO_17' : 			{ 'pin' : 'D28' }, 
  'GPIO_18' : 			{ 'pin' : 'D2'  }, 
  'GPIO_20' : 			{ 'pin' : 'D31' }, 
  'GPIO_21' : 			{ 'pin' : 'D44' }, 
  'GPIO_22' : 			{ 'pin' : 'D45' }, 
  'GPIO_23' :		 	{ 'pin' : 'D29' },
  'GPIO_24' : 			{ 'pin' : 'D30' },
  'GPIO_25' : 			{ 'pin' : 'D4'  },  
  'GPIO_27' : 			{ 'pin' : 'D5'  },  
  'GPIO_28' : 			{ 'pin' : 'D9'  },  
  'GPIO_29' : 			{ 'pin' : 'D10' },  
  'GPIO_32' : 			{ 'pin' : 'D11' },  
  'GPIO_33' : 			{ 'pin' : 'D41' },  
  'GPIO_34' : 			{ 'pin' : 'D40' }, 
  'GPIO_35' :		 	{ 'pin' : 'D33' },
  'GPIO_36' : 			{ 'pin' : 'D34' },
  'GPIO_37' : 			{ 'pin' : 'D35' },  
  'GPIO_38' : 			{ 'pin' : 'D42' },  
  'GPIO_39' : 			{ 'pin' : 'D43' },  
  'GPIO_40' : 			{ 'pin' : 'D47' },  
  'GPIO_41' : 			{ 'pin' : 'D46' },  
  'GPIO_42' : 			{ 'pin' : 'D26' },  
  'GPIO_43' : 			{ 'pin' : 'D6'  },  
  'GPIO_44' : 			{ 'pin' : 'D27' },  
  'GPIO_45' : 			{ 'pin' : 'D7'  },  
  'GPIO_46' : 			{ 'pin' : 'D12' },  
  'GPIO_47' : 			{ 'pin' : 'D23' },  
  'GPIO_48' : 			{ 'pin' : 'D21' },  
  'GPIO_49' : 			{ 'pin' : 'D22' },  
  'GPIO_50' : 			{ 'pin' : 'D20' },  
  'GPIO_51' : 			{ 'pin' : 'D17' },  
  'GPIO_52' : 			{ 'pin' : 'D19' }
};

# left-right, or top-bottom order
board = {
  'left' : [ 'VDD', 'VDD', 'RESET', 'VDD','5V','GND','GND','','','D3','D4','D28','D29','D30','D31'],
  'right' : [
     'D27', 'D26', 'D2', 'GND', 'D25','D24','D23', 'D22','D20','D19','',
     'D18','D17','D16','D15','D14','D13','D12','D11','',
     'D10','D9','D8','D7','D6','D5','D21','D1','D0'],
  '_notes' : {
    'D13' : "Serial console RX",
    'D15' : "Serial console TX"
  }
};
board["_css"] = """
[#board](https://forum.espruino.com/search/?q=%23board) {
  width: 528px;
  height: 800px;
  top: 0px;
  left : 200px;
  background-image: url(img/NRF528DK.jpg);
}
[#boardcontainer](https://forum.espruino.com/search/?q=%23boardcontainer) {
  height: 900px;
}

[#left](https://forum.espruino.com/search/?q=%23left) {
    top: 219px;
    right: 466px;
}
[#right](https://forum.espruino.com/search/?q=%23right) {
    top: 150px;
    left: 466px;
}

.leftpin { height: 17px; }
.rightpin { height: 17px; }
""";

def get_pins():
  pins = pinutils.generate_pins(0,47) # 48 General Purpose I/O Pins.
  pinutils.findpin(pins, "PD0", True)["functions"]["XL1"]=0;
  pinutils.findpin(pins, "PD1", True)["functions"]["XL2"]=0;
  # pinutils.findpin(pins, "PD5", True)["functions"]["RTS"]=0;
  # pinutils.findpin(pins, "PD6", True)["functions"]["TXD"]=0;
  # pinutils.findpin(pins, "PD7", True)["functions"]["CTS"]=0;
  # pinutils.findpin(pins, "PD8", True)["functions"]["RXD"]=0;
  # pinutils.findpin(pins, "PD9", True)["functions"]["NFC1"]=0;
  # pinutils.findpin(pins, "PD10", True)["functions"]["NFC2"]=0;
  pinutils.findpin(pins, "PD2", True)["functions"]["ADC1_IN0"]=0;
  pinutils.findpin(pins, "PD3", True)["functions"]["ADC1_IN1"]=0;
  pinutils.findpin(pins, "PD4", True)["functions"]["ADC1_IN2"]=0;
  pinutils.findpin(pins, "PD5", True)["functions"]["ADC1_IN3"]=0;
  pinutils.findpin(pins, "PD28", True)["functions"]["ADC1_IN4"]=0;
  pinutils.findpin(pins, "PD29", True)["functions"]["ADC1_IN5"]=0;
  pinutils.findpin(pins, "PD30", True)["functions"]["ADC1_IN6"]=0;
  pinutils.findpin(pins, "PD31", True)["functions"]["ADC1_IN7"]=0;
  # Make buttons and LEDs negated
  pinutils.findpin(pins, "PD13", True)["functions"]["RXD"]=0;
  pinutils.findpin(pins, "PD14", True)["functions"]["NEGATED"]=0;
  pinutils.findpin(pins, "PD15", True)["functions"]["TXD"]=0;
  pinutils.findpin(pins, "PD16", True)["functions"]["NEGATED"]=0;
  pinutils.findpin(pins, "PD11", True)["functions"]["NEGATED"]=0;
  pinutils.findpin(pins, "PD12", True)["functions"]["NEGATED"]=0;
  pinutils.findpin(pins, "PD24", True)["functions"]["NEGATED"]=0;
  pinutils.findpin(pins, "PD25", True)["functions"]["NEGATED"]=0;
  # TODO: SW2 is also connected to P0.19, P0.21, P0.23, and P0.25. This is done to simplify PCB routing. These
  #       GPIOs should not be used and should be left as input with no pull or be disconnected by firmware.

  # everything is non-5v tolerant
  for pin in pins:
    pin["functions"]["3.3"]=0;
  [#The](https://forum.espruino.com/search/?q=%23The) boot/reset button will function as a reset button in normal operation. Pin reset on PD21 needs to be enabled on the nRF52832 device for this to work.
  return pins