Espruino/boards/PICO_R1_3.py

#!/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' : "Espruino Pico", # rev 1.3/1.4
 'link' : [ "https://espruino.com/Pico" ],
 'espruino_page_link' : 'Pico',
 'default_console' : "EV_SERIAL1",
 'default_console_tx' : "B6",
 'default_console_rx' : "B7",
 'variables' : 5100,
 'bootloader' : 1,
 'binary_name' : 'espruino_%v_pico_1r3.bin',
 'binaries' : [
  { 'filename' : 'espruino_%v_pico_1r3.bin', 'description' : "AT Command WiFi + all features"},
  { 'filename' : 'espruino_%v_pico_1r3_wiznet.bin', 'description' : "WIZNet W5500 Ethernet  (No debugger, AT command networking or vector font)"},
  { 'filename' : 'espruino_%v_pico_1r3_cc3000.bin', 'description' : "TI CC3000 WiFi (No debugger, AT command networking or vector font)"},
 ],
 'build' : {
   'optimizeflags' : '-Os',
   'libraries' : [
     'USB_HID',
     'NET',
     'GRAPHICS',
     #'TV', # removed to save space
     'FILESYSTEM',
     'CRYPTO','SHA256',#'SHA512',
     'TLS',
     'NEOPIXEL',
     'JIT'     
   ],
   'makefile' : [
     'DEFINES+=-DESPR_OFFICIAL_BOARD', # Don't display the donations nag screen
     'DEFINES+=-DUSE_USB_OTG_FS=1  -DPICO -DPICO_1V3',
     'DEFINES+=-DPIN_NAMES_DIRECT=1', # Package skips out some pins, so we can't assume each port starts from 0
     'DEFINES += -DESPR_USE_STEPPER_TIMER=1', # Build in the code for stepping using the timer
     'DEFINES += -DSAVE_ON_FLASH_MATH',
     'DEFINES += -DESPR_NO_REGEX_OPTIMISE=1', # strip out regex optimisations to free some flash space
     'DEFINES += -DESPR_LIMIT_DATE_RANGE', # not enough code memory left for the full range of Date()
     'DEFINES += -DESPR_PACKED_SYMPTR', # Pack builtin symbols' offset into pointer to save 2 bytes/symbol     
     'STLIB=STM32F401xE',
     'PRECOMPILED_OBJS+=$(ROOT)/targetlibs/stm32f4/lib/startup_stm32f401xx.o'
   ]
  }
};

chip = {
  'part' : "STM32F401CDU6",
  'family' : "STM32F4",
  'package' : "UQFN48",
  'ram' : 96,
  'flash' : 384,
  'speed' : 84,
  'usart' : 6,
  'spi' : 3,
  'i2c' : 3,
  'adc' : 1,
  'dac' : 0,
  'saved_code' : {
    'address' : 0x08004000,
    'page_size' : 16384, # size of pages
    'pages' : 3, # number of pages we're using
    'flash_available' : 384-64 # Saved code is before binary, test against full size minus offset
  },
  'place_text_section' : 0x00010000, # note flash_available above
};

devices = {
  'OSC' : { 'pin_in' :  'H0', # checked
            'pin_out' : 'H1' }, # checked
  'OSC_RTC' : { 'pin_in' :  'C14', # checked
                'pin_out' : 'C15' }, # checked
  'BTN1' : { 'pin' : 'C13', 'pinstate' : 'IN_PULLDOWN' },
  'LED1' : { 'pin' : 'B2' },
  'LED2' : { 'pin' : 'B12' },
  'USB' : { 'pin_charge' :  'B0',
            'pin_vsense' :  'A9',
            'pin_dm' : 'A11',   # checked
            'pin_dp' : 'A12' }, # checked
  'JTAG' : {
        'pin_MS' : 'A13',
        'pin_CK' : 'A14',
        'pin_DI' : 'A15'
          }
};

# left-right, or top-bottom order
board = {
  'top' : [ 'BAT_IN','B15', 'B14', 'B13', 'B10', 'B1', 'A7', 'A6', 'A5' ],
  'bottom' : [ 'GND', 'VBAT', '3.3', 'B3', 'B4', 'B5', 'B6', 'B7','A8'],

  'top2' : ['VBAT','3.3','GND'],
  'right' : ['A4', 'A3', 'A2', 'A1', 'A0', 'A10', 'B9', 'B8'],
  '_notes' : {
    'B6' : "Serial Console TX when USB disconnected, use `USB.setConsole(true)` to avoid",
    'B7' : "Serial Console RX when USB disconnected, use `USB.setConsole(true)` to avoid",
    'A9' : "Connected directly to USB 5V",
    'A13' : "Accessible on row of gold SMD pads on underside",
    'A14' : "Accessible on row of gold SMD pads on underside",
    'A15' : "Accessible on row of gold SMD pads on underside",
    'B0' : "Connected to FET when FET/B0 jumper shorted",
    'C14' : "Connected to pads for optional 32kHz crystal",
    'C15' : "Connected to pads for optional 32kHz crystal"
  }
};
board["_css"] = """
#board {
  width: 550px;
  height: 272px;
  top: 300px;
  left : 100px;
  background-image: url(img/PICO_R1_3.png);
}
#boardcontainer {
  height: 800px;
}
#top {
  bottom: 253px;
  left: 194px;
}
#bottom {
  top: 255px;
  left: 192px;
}

#right  {
  top: 60px;
  left: 540px;
}
#top2  {
  top: 80px;
  right: 66px;
}

.toppin { width: 32px; }
.bottompin { width: 32px; }

.rightpin { height: 17px; }
.top2pin { width: 14px; }

""";

def get_pins():
  pins = pinutils.scan_pin_file([], 'stm32f401.csv', 5, 8, 9)
  pins = pinutils.scan_pin_af_file(pins, 'stm32f401_af.csv', 0, 1)
  return pinutils.only_from_package(pinutils.fill_gaps_in_pin_list(pins), chip["package"])