Merge branch 'teensy-new' of github.com:dhylands/micropython into dhylands-teensy-new

Conflicts:
	stmhal/pin_named_pins.c
	stmhal/readline.c

Renamed HAL_H to MICROPY_HAL_H.  Made stmhal/mphal.h which intends to
define the generic Micro Python HAL, which in stmhal sits above the ST
HAL.

py/mkrules.mk

@@ -97,4 +97,10 @@ print-cfg:
 	$(ECHO) "OBJ    = $(OBJ)"
 .PHONY: print-cfg
 
+print-def:
+	@$(ECHO) "The following defines are built into the $(CC) compiler"
+	touch __empty__.c
+	@$(CC) -E -Wp,-dM __empty__.c
+	@$(RM) -f __empty__.c
+
 -include $(OBJ:.o=.P)

stmhal/gccollect.c

@@ -25,8 +25,7 @@
  */
 
 #include <stdio.h>
-
-#include <stm32f4xx_hal.h>
+#include <stdint.h>
 
 #include "mpconfig.h"
 #include "misc.h"
@@ -34,6 +33,7 @@
 #include "obj.h"
 #include "gc.h"
 #include "gccollect.h"
+#include MICROPY_HAL_H
 
 machine_uint_t gc_helper_get_regs_and_sp(machine_uint_t *regs);
 

stmhal/mpconfigport.h

@@ -105,3 +105,6 @@ typedef const void *machine_const_ptr_t; // must be of pointer size
 
 // We need to provide a declaration/definition of alloca()
 #include <alloca.h>
+
+#define MICROPY_HAL_H           "mphal.h"
+#define MICROPY_PIN_DEFS_PORT_H "pin_defs_stmhal.h"

stmhal/mphal.h

+// We use the ST Cube HAL library for most hardware peripherals
+#include <stm32f4xx_hal.h>
+
+// Basic GPIO functions
+#define GPIO_read_pin(gpio, pin)        (((gpio)->IDR >> (pin)) & 1)
+#define GPIO_set_pin(gpio, pin_mask)    (((gpio)->BSRRL) = (pin_mask))
+#define GPIO_clear_pin(gpio, pin_mask)  (((gpio)->BSRRH) = (pin_mask))

stmhal/pin.c

@@ -28,14 +28,13 @@
 #include <stdint.h>
 #include <string.h>
 
-#include "stm32f4xx_hal.h"
-
 #include "mpconfig.h"
 #include "nlr.h"
 #include "misc.h"
 #include "qstr.h"
 #include "obj.h"
 #include "runtime.h"
+#include MICROPY_HAL_H
 #include "pin.h"
 
 /// \moduleref pyb
@@ -310,13 +309,13 @@ STATIC mp_obj_t pin_value(uint n_args, mp_obj_t *args) {
     pin_obj_t *self = args[0];
     if (n_args == 1) {
         // get pin
-        return MP_OBJ_NEW_SMALL_INT((self->gpio->IDR >> self->pin) & 1);
+        return MP_OBJ_NEW_SMALL_INT(GPIO_read_pin(self->gpio, self->pin));
     } else {
         // set pin
         if (mp_obj_is_true(args[1])) {
-            self->gpio->BSRRL = self->pin_mask;
+            GPIO_set_pin(self->gpio, self->pin_mask);
         } else {
-            self->gpio->BSRRH = self->pin_mask;
+            GPIO_clear_pin(self->gpio, self->pin_mask);
         }
         return mp_const_none;
     }
@@ -327,7 +326,7 @@ STATIC MP_DEFINE_CONST_FUN_OBJ_VAR_BETWEEN(pin_value_obj, 1, 2, pin_value);
 /// Set the pin to a low logic level.
 STATIC mp_obj_t pin_low(mp_obj_t self_in) {
     pin_obj_t *self = self_in;
-    self->gpio->BSRRH = self->pin_mask;
+    GPIO_clear_pin(self->gpio, self->pin_mask);;
     return mp_const_none;
 }
 STATIC MP_DEFINE_CONST_FUN_OBJ_1(pin_low_obj, pin_low);
@@ -336,7 +335,7 @@ STATIC MP_DEFINE_CONST_FUN_OBJ_1(pin_low_obj, pin_low);
 /// Set the pin to a high logic level.
 STATIC mp_obj_t pin_high(mp_obj_t self_in) {
     pin_obj_t *self = self_in;
-    self->gpio->BSRRL = self->pin_mask;
+    GPIO_set_pin(self->gpio, self->pin_mask);;
     return mp_const_none;
 }
 STATIC MP_DEFINE_CONST_FUN_OBJ_1(pin_high_obj, pin_high);

stmhal/pin.h

@@ -24,63 +24,10 @@
  * THE SOFTWARE.
  */
 
-enum {
-  PORT_A,
-  PORT_B,
-  PORT_C,
-  PORT_D,
-  PORT_E,
-  PORT_F,
-  PORT_G,
-  PORT_H,
-  PORT_I,
-  PORT_J,
-};
+// This file requires pin_defs_xxx.h (which has port specific enums and
+// defines, so we include it here. It should never be included directly
 
-enum {
-  AF_FN_TIM,
-  AF_FN_I2C,
-  AF_FN_USART,
-  AF_FN_UART = AF_FN_USART,
-  AF_FN_SPI
-};
-
-enum {
-  AF_PIN_TYPE_TIM_CH1 = 0,
-  AF_PIN_TYPE_TIM_CH2,
-  AF_PIN_TYPE_TIM_CH3,
-  AF_PIN_TYPE_TIM_CH4,
-  AF_PIN_TYPE_TIM_CH1N,
-  AF_PIN_TYPE_TIM_CH2N,
-  AF_PIN_TYPE_TIM_CH3N,
-  AF_PIN_TYPE_TIM_CH1_ETR,
-  AF_PIN_TYPE_TIM_ETR,
-  AF_PIN_TYPE_TIM_BKIN,
-
-  AF_PIN_TYPE_I2C_SDA = 0,
-  AF_PIN_TYPE_I2C_SCL,
-
-  AF_PIN_TYPE_USART_TX = 0,
-  AF_PIN_TYPE_USART_RX,
-  AF_PIN_TYPE_USART_CTS,
-  AF_PIN_TYPE_USART_RTS,
-  AF_PIN_TYPE_USART_CK,
-  AF_PIN_TYPE_UART_TX  = AF_PIN_TYPE_USART_TX,
-  AF_PIN_TYPE_UART_RX  = AF_PIN_TYPE_USART_RX,
-  AF_PIN_TYPE_UART_CTS = AF_PIN_TYPE_USART_CTS,
-  AF_PIN_TYPE_UART_RTS = AF_PIN_TYPE_USART_RTS,
-
-  AF_PIN_TYPE_SPI_MOSI = 0,
-  AF_PIN_TYPE_SPI_MISO,
-  AF_PIN_TYPE_SPI_SCK,
-  AF_PIN_TYPE_SPI_NSS,
-};
-
-enum {
-  PIN_ADC1  = (1 << 0),
-  PIN_ADC2  = (1 << 1),
-  PIN_ADC3  = (1 << 2),
-};
+#include MICROPY_PIN_DEFS_PORT_H
 
 typedef struct {
   mp_obj_base_t base;
@@ -91,24 +38,21 @@ typedef struct {
 
   union {
     void          *reg;
-    TIM_TypeDef   *TIM;
-    I2C_TypeDef   *I2C;
-    USART_TypeDef *USART;
-    USART_TypeDef *UART;
-    SPI_TypeDef   *SPI;
+
+    PIN_DEFS_PORT_AF_UNION
   };
 } pin_af_obj_t;
 
 typedef struct {
   mp_obj_base_t base;
   const char *name;
-  uint16_t port   : 4;
-  uint16_t pin    : 4;
-  uint16_t num_af : 4;
-  uint16_t adc_channel : 4;
-  uint16_t adc_num  : 3;  // 1 bit per ADC
-  uint16_t pin_mask;
-  GPIO_TypeDef *gpio;
+  uint32_t port   : 4;
+  uint32_t pin    : 5;      // Some ARM processors use 32 bits/PORT
+  uint32_t num_af : 4;
+  uint32_t adc_channel : 5; // Some ARM processors use 32 bits/PORT
+  uint32_t adc_num  : 3;    // 1 bit per ADC
+  uint32_t pin_mask;
+  pin_gpio_t *gpio;
   const pin_af_obj_t *af;
 } pin_obj_t;
 

stmhal/pin_defs_stmhal.h

+/*
+ * This file is part of the Micro Python project, http://micropython.org/
+ *
+ * The MIT License (MIT)
+ *
+ * Copyright (c) 2013, 2014 Damien P. George
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ */
+
+// This file contains pin definitions that are specific to the stmhal port.
+// This file should only ever be #included by pin.h and not directly.
+
+enum {
+  PORT_A,
+  PORT_B,
+  PORT_C,
+  PORT_D,
+  PORT_E,
+  PORT_F,
+  PORT_G,
+  PORT_H,
+  PORT_I,
+  PORT_J,
+};
+
+enum {
+  AF_FN_TIM,
+  AF_FN_I2C,
+  AF_FN_USART,
+  AF_FN_UART = AF_FN_USART,
+  AF_FN_SPI
+};
+
+enum {
+  AF_PIN_TYPE_TIM_CH1 = 0,
+  AF_PIN_TYPE_TIM_CH2,
+  AF_PIN_TYPE_TIM_CH3,
+  AF_PIN_TYPE_TIM_CH4,
+  AF_PIN_TYPE_TIM_CH1N,
+  AF_PIN_TYPE_TIM_CH2N,
+  AF_PIN_TYPE_TIM_CH3N,
+  AF_PIN_TYPE_TIM_CH1_ETR,
+  AF_PIN_TYPE_TIM_ETR,
+  AF_PIN_TYPE_TIM_BKIN,
+
+  AF_PIN_TYPE_I2C_SDA = 0,
+  AF_PIN_TYPE_I2C_SCL,
+
+  AF_PIN_TYPE_USART_TX = 0,
+  AF_PIN_TYPE_USART_RX,
+  AF_PIN_TYPE_USART_CTS,
+  AF_PIN_TYPE_USART_RTS,
+  AF_PIN_TYPE_USART_CK,
+  AF_PIN_TYPE_UART_TX  = AF_PIN_TYPE_USART_TX,
+  AF_PIN_TYPE_UART_RX  = AF_PIN_TYPE_USART_RX,
+  AF_PIN_TYPE_UART_CTS = AF_PIN_TYPE_USART_CTS,
+  AF_PIN_TYPE_UART_RTS = AF_PIN_TYPE_USART_RTS,
+
+  AF_PIN_TYPE_SPI_MOSI = 0,
+  AF_PIN_TYPE_SPI_MISO,
+  AF_PIN_TYPE_SPI_SCK,
+  AF_PIN_TYPE_SPI_NSS,
+};
+
+enum {
+  PIN_ADC1  = (1 << 0),
+  PIN_ADC2  = (1 << 1),
+  PIN_ADC3  = (1 << 2),
+};
+
+#define PIN_DEFS_PORT_AF_UNION \
+    TIM_TypeDef   *TIM; \
+    I2C_TypeDef   *I2C; \
+    USART_TypeDef *USART; \
+    USART_TypeDef *UART; \
+    SPI_TypeDef   *SPI;
+
+typedef GPIO_TypeDef pin_gpio_t;
+

stmhal/pin_named_pins.c

@@ -28,13 +28,12 @@
 #include <stdint.h>
 #include <string.h>
 
-#include "stm32f4xx_hal.h"
-
 #include "mpconfig.h"
 #include "misc.h"
 #include "qstr.h"
 #include "obj.h"
 #include "runtime.h"
+#include MICROPY_HAL_H
 #include "pin.h"
 
 STATIC void pin_named_pins_obj_print(void (*print)(void *env, const char *fmt, ...), void *env, mp_obj_t self_in, mp_print_kind_t kind) {

stmhal/pybstdio.c

@@ -25,8 +25,7 @@
  */
 
 #include <stdio.h>
-
-#include <stm32f4xx_hal.h>
+#include <stdint.h>
 
 #include "mpconfig.h"
 #include "misc.h"
@@ -34,6 +33,7 @@
 #include "misc.h"
 #include "obj.h"
 #include "stream.h"
+#include MICROPY_HAL_H
 #include "pybstdio.h"
 #include "usb.h"
 #include "uart.h"

stmhal/pyexec.c

@@ -26,8 +26,7 @@
 
 #include <stdlib.h>
 #include <stdio.h>
-
-#include <stm32f4xx_hal.h>
+#include <stdint.h>
 
 #include "mpconfig.h"
 #include "nlr.h"
@@ -43,6 +42,7 @@
 #include "repl.h"
 #include "gc.h"
 #include "gccollect.h"
+#include MICROPY_HAL_H
 #include "systick.h"
 #include "pybstdio.h"
 #include "readline.h"

stmhal/readline.c

@@ -25,15 +25,15 @@
  */
 
 #include <stdio.h>
+#include <stdint.h>
 #include <string.h>
 
-#include <stm32f4xx_hal.h>
-
 #include "mpconfig.h"
 #include "misc.h"
 #include "qstr.h"
 #include "misc.h"
 #include "obj.h"
+#include MICROPY_HAL_H
 #include "pybstdio.h"
 #include "readline.h"
 #include "usb.h"

teensy/Makefile

@@ -20,12 +20,15 @@ CFLAGS_CORTEX_M4 = -mthumb -mtune=cortex-m4 -mcpu=cortex-m4 -fsingle-precision-c
 
 INC =  -I.
 INC += -I$(PY_SRC)
+INC += -I../stmhal
 INC += -I$(BUILD)
 INC += -I$(CORE_PATH)
 
 CFLAGS = $(INC) -Wall -ansi -std=gnu99 -nostdlib $(CFLAGS_CORTEX_M4)
 LDFLAGS = -nostdlib -T mk20dx256.ld
-LIBS = -L $(COMPILER_PATH)/../lib/gcc/arm-none-eabi/4.7.2/thumb2 -lgcc
+LIBS  = -L $(COMPILER_PATH)/../arm-none-eabi/lib/thumb2 -lm
+LIBS += -L $(COMPILER_PATH)/../arm-none-eabi/lib/thumb2 -lc
+LIBS += -L $(COMPILER_PATH)/../lib/gcc/arm-none-eabi/4.7.2/thumb2 -lgcc
 
 #Debugging/Optimization
 ifdef DEBUG
@@ -35,23 +38,32 @@ CFLAGS += -Os #-DNDEBUG
 endif
 
 SRC_C = \
+	hal_gpio.c \
+	help.c \
+	import.c \
 	main.c \
 	lcd.c \
 	led.c \
-	lexerfatfs.c \
 	lexermemzip.c \
 	memzip.c \
-	servo.c \
-	usart.c \
+	modpyb.c \
+	teensy_hal.c \
+	uart.c \
 	usb.c \
 
-STM_SRC_C = $(addprefix stm/,\
-	malloc0.c \
+STM_SRC_C = $(addprefix stmhal/,\
+	gccollect.c \
+	input.c \
+	pin.c \
+	pin_named_pins.c \
 	printf.c \
+	pyexec.c \
+	pybstdio.c \
+	readline.c \
 	string0.c \
 	)
 
-STM_SRC_S = $(addprefix stm/,\
+STM_SRC_S = $(addprefix stmhal/,\
 	gchelper.s \
 	)
 
@@ -66,9 +78,7 @@ SRC_TEENSY = \
 	yield.c \
 
 OBJ = $(PY_O) $(addprefix $(BUILD)/, $(SRC_C:.c=.o) $(STM_SRC_C:.c=.o) $(STM_SRC_S:.s=.o) $(SRC_TEENSY:.c=.o))
-#LIB = -lreadline
-# the following is needed for BSD
-#LIB += -ltermcap
+OBJ += $(BUILD)/pins_gen.o
 
 all: hex
 hex: $(BUILD)/micropython-mz.hex
@@ -84,7 +94,7 @@ reboot:
 upload: post_compile reboot
 
 $(BUILD)/micropython.elf: $(OBJ)
-	$(ECHO) "LINK $<"
+	$(ECHO) "LINK $@"
 	$(Q)$(CC) $(LDFLAGS) -o "$@" -Wl,-Map,$(@:.elf=.map) $(OBJ) $(LIBS)
 	$(Q)$(SIZE) $@
 
@@ -103,4 +113,31 @@ $(BUILD)/%.hex: $(BUILD)/%.elf
 $(BUILD)/%.o: $(CORE_PATH)/%.c
 	$(call compile_c)
 
+MAKE_PINS = make-pins.py
+BOARD_PINS = teensy-pins.csv
+AF_FILE = mk20dx256-af.csv
+PREFIX_FILE = mk20dx256-prefix.c
+GEN_PINS_SRC = $(BUILD)/pins_gen.c
+GEN_PINS_HDR = $(HEADER_BUILD)/pins.h
+
+# Making OBJ use an order-only depenedency on the generated pins.h file
+# has the side effect of making the pins.h file before we actually compile
+# any of the objects. The normal dependency generation will deal with the
+# case when pins.h is modified. But when it doesn't exist, we don't know
+# which source files might need it.
+$(OBJ): | $(HEADER_BUILD)/pins.h
+
+# Use a pattern rule here so that make will only call make-pins.py once to make
+# both pins_$(BOARD).c and pins.h
+$(BUILD)/%_gen.c $(HEADER_BUILD)/%.h: teensy-%.csv $(MAKE_PINS) $(AF_FILE) $(PREFIX_FILE)
+	$(ECHO) "Create $@"
+	$(Q)$(PYTHON) $(MAKE_PINS) --board $(BOARD_PINS) --af $(AF_FILE) --prefix $(PREFIX_FILE) --hdr $(GEN_PINS_HDR) > $(GEN_PINS_SRC)
+
+$(BUILD)/pins_gen.o: $(BUILD)/pins_gen.c
+	$(call compile_c)
+
+$(BUILD)/%.pp: $(BUILD)/%.c
+	$(ECHO) "PreProcess $<"
+	$(Q)$(CC) $(CFLAGS) -E -Wp,-C,-dD,-dI -o $@ $<
+
 include ../py/mkrules.mk

teensy/hal_gpio.c

+#include <stdint.h>
+#include <mk20dx128.h>
+#include "teensy_hal.h"
+
+#define GPIO_NUMBER 32
+
+void HAL_GPIO_Init(GPIO_TypeDef *GPIOx, GPIO_InitTypeDef *GPIO_Init)
+{
+    /* Check the parameters */
+    assert_param(IS_GPIO_PIN(GPIO_Init->Pin));
+    assert_param(IS_GPIO_MODE(GPIO_Init->Mode));
+    assert_param(IS_GPIO_PULL(GPIO_Init->Pull));
+
+    /* Configure the port pins */
+    for (uint32_t position = 0; position < GPIO_NUMBER; position++) {
+        uint32_t bitmask = 1 << position;
+        if ((GPIO_Init->Pin & bitmask) == 0) {
+            continue;
+        }
+        
+        volatile uint32_t *port_pcr = GPIO_PIN_TO_PORT_PCR(GPIOx, position);
+
+        /*--------------------- GPIO Mode Configuration ------------------------*/
+        /* In case of Alternate function mode selection */
+        if ((GPIO_Init->Mode == GPIO_MODE_AF_PP) || (GPIO_Init->Mode == GPIO_MODE_AF_OD)) {
+            /* Check the Alternate function parameter */
+            assert_param(IS_GPIO_AF(GPIO_Init->Alternate));
+            /* Configure Alternate function mapped with the current IO */
+
+            *port_pcr &= ~PORT_PCR_MUX_MASK;
+            *port_pcr |= PORT_PCR_MUX(GPIO_Init->Alternate);
+        }
+
+        /* Configure IO Direction mode (Input, Output, Alternate or Analog) */
+        if (GPIO_Init->Mode == GPIO_MODE_INPUT || GPIO_Init->Mode == GPIO_MODE_ANALOG) {
+            GPIOx->PDDR &= ~bitmask;
+        } else {
+            GPIOx->PDDR |= bitmask;
+        }
+
+        /* In case of Output or Alternate function mode selection */
+        if ((GPIO_Init->Mode == GPIO_MODE_OUTPUT_PP) || (GPIO_Init->Mode == GPIO_MODE_AF_PP) ||
+            (GPIO_Init->Mode == GPIO_MODE_OUTPUT_OD) || (GPIO_Init->Mode == GPIO_MODE_AF_OD)) {
+            /* Check the Speed parameter */
+            assert_param(IS_GPIO_SPEED(GPIO_Init->Speed));
+
+            /* Configure the IO Speed */
+            if (GPIO_Init->Speed > GPIO_SPEED_MEDIUM) {
+                *port_pcr &= ~PORT_PCR_SRE;
+            } else {
+                *port_pcr |= PORT_PCR_SRE;
+            }
+
+            /* Configure the IO Output Type */
+            if (GPIO_Init->Mode & GPIO_OUTPUT_TYPE) {
+                *port_pcr |= PORT_PCR_ODE;
+            } else {
+                *port_pcr &= ~PORT_PCR_ODE;
+            }
+        }
+
+        /* Activate the Pull-up or Pull down resistor for the current IO */
+        if (GPIO_Init->Pull == GPIO_NOPULL) {
+            *port_pcr &= ~PORT_PCR_PE;
+        } else {
+            *port_pcr |= PORT_PCR_PE;
+            if (GPIO_Init->Pull == GPIO_PULLDOWN) {
+                *port_pcr &= ~PORT_PCR_PS;
+            } else {
+                *port_pcr |= PORT_PCR_PS;
+            }
+        }
+
+#if 0
+        /*--------------------- EXTI Mode Configuration ------------------------*/
+        /* Configure the External Interrupt or event for the current IO */
+        if((GPIO_Init->Mode & EXTI_MODE) == EXTI_MODE)
+        {
+          /* Enable SYSCFG Clock */
+          __SYSCFG_CLK_ENABLE();
+
+          temp = ((uint32_t)0x0F) << (4 * (position & 0x03));
+          SYSCFG->EXTICR[position >> 2] &= ~temp;
+          SYSCFG->EXTICR[position >> 2] |= ((uint32_t)(__HAL_GET_GPIO_SOURCE(GPIOx)) << (4 * (position & 0x03)));
+
+          /* Clear EXTI line configuration */
+          EXTI->IMR &= ~((uint32_t)iocurrent);
+          EXTI->EMR &= ~((uint32_t)iocurrent);
+
+          if((GPIO_Init->Mode & GPIO_MODE_IT) == GPIO_MODE_IT)
+          {
+            EXTI->IMR |= iocurrent;
+          }
+          if((GPIO_Init->Mode & GPIO_MODE_EVT) == GPIO_MODE_EVT)
+          {
+            EXTI->EMR |= iocurrent;
+          }
+
+          /* Clear Rising Falling edge configuration */
+          EXTI->RTSR &= ~((uint32_t)iocurrent);
+          EXTI->FTSR &= ~((uint32_t)iocurrent);
+
+          if((GPIO_Init->Mode & RISING_EDGE) == RISING_EDGE)
+          {
+            EXTI->RTSR |= iocurrent;
+          }
+          if((GPIO_Init->Mode & FALLING_EDGE) == FALLING_EDGE)
+          {
+            EXTI->FTSR |= iocurrent;
+          }
+        }
+#endif
+    }
+}
+

teensy/help.c

+/*
+ * This file is part of the Micro Python project, http://micropython.org/
+ *
+ * The MIT License (MIT)
+ *
+ * Copyright (c) 2013, 2014 Damien P. George
+ *
+ * Permission is hereby granted, free of charge, to any person obtaining a copy
+ * of this software and associated documentation files (the "Software"), to deal
+ * in the Software without restriction, including without limitation the rights
+ * to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+ * copies of the Software, and to permit persons to whom the Software is
+ * furnished to do so, subject to the following conditions:
+ *
+ * The above copyright notice and this permission notice shall be included in
+ * all copies or substantial portions of the Software.
+ *
+ * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+ * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+ * FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+ * AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+ * LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+ * OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN
+ * THE SOFTWARE.
+ */
+
+#include <stdio.h>
+
+#include "mpconfig.h"
+#include "nlr.h"
+#include "misc.h"
+#include "qstr.h"
+#include "obj.h"
+
+STATIC const char *help_text =
+"Welcome to Micro Python!\n"
+"\n"
+"For online help please visit http://micropython.org/help/.\n"
+"\n"
+"Quick overview of commands for the board:\n"
+"  pyb.info()    -- print some general information\n"
+"  pyb.gc()      -- run the garbage collector\n"
+"  pyb.delay(n)  -- wait for n milliseconds\n"
+"  pyb.Switch()  -- create a switch object\n"
+"                   Switch methods: (), callback(f)\n"
+"  pyb.LED(n)    -- create an LED object for LED n (n=1,2,3,4)\n"
+"                   LED methods: on(), off(), toggle(), intensity(<n>)\n"
+"  pyb.Pin(pin)  -- get a pin, eg pyb.Pin('X1')\n"
+"  pyb.Pin(pin, m, [p]) -- get a pin and configure it for IO mode m, pull mode p\n"
+"                   Pin methods: init(..), value([v]), high(), low()\n"
+"  pyb.ExtInt(pin, m, p, callback) -- create an external interrupt object\n"