GitLab

* Add function to load static modules.
* Use module_register to pyb module.

These have been taken from the musl library.  It's a bit of a hack for
now, just to get math functions working.

MICROPY_ENABLE_FLOAT is automatically set in mpconfig.h if MICROPY_FLOAT_IMPL
is set to a non-zero value.

mp_module_obj_t can now be put in ROM.

Configuration of float type is now similar to longint: can now choose
none, float or double as the implementation.

math module has basic math functions.  For STM port, these are not yet
implemented (they are just stub functions).

Minor cleanup.

With this option selected, only HID on its own works, not VCP+HID.

Revamp usrsw to use new exti code.
Add user switch callback function.

Stack layout is different when -g used, so need to handle the pendsv
jump differently.  Addresses Issue #315.

Some functionality is still missing (eg and, or, bit shift), and some
things are buggy (eg subtract).

This commit also introduces board directories and moves board
specific config into the appropriate board directory.

boards/stm32f4xx-af.csv was extracted from the STM32F4xx datasheet
and hand-tweaked.

make-pins.py takes boards/stm32f4xx-af.csv, boards/stm32f4xx-prefix.c,
and boards/BOARD-NAME/pins.csv as input and generates the file
build/pins_BOARD_NAME.c

The generated pin file for PYBOARD4 looks like this:
https://gist.github.com/dhylands/9063231

The generated pins file includes all of the supported alternate
functions, and includes upsupported alternate functions as comments.

See the commnet block at the top of stm/pin_map.c for details on
how to use the pin mapper.

I also went ahead and modified stm/gpio.c to use the pin mapper.

To follow up pull request #309.

This is compatible with what search path was before sys.path refactor,
with addition of module library path ("0:/lib").

GPIO functions are crude, and need to be replaced with better ones!

Raw REPL mode is activated by CTRL-A, and allows you to more easily
communicate with the pyboard over the serial channel.  In particular,
automated communication using, eg, pyserial on the PC side.

In particular, unix outputs to stderr, to allow to run testsuite against
micropython built with debug output (by redirecting stderr to /dev/null).

Addresses issue #299.