nuttx

History

Gregory Nutt bbbe9d85c5 Move EXIDX assignments inside of braces so that we can be assure that the symbols have the correct alignment. Suggested by Daniel P. Volpato Squashed commit of the following: Some scripts use TABs, others spaced. Make usage consistent. Move __exidx_end assignment inside of brackets. Remove old __exidx_end assignment. Move __exidx_start assignment inside of brackets. Remove old __exidx_start assignment		2019-09-12 09:57:50 -06:00
..
configs/nsh
include
scripts	Move EXIDX assignments inside of braces so that we can be assure that the symbols have the correct alignment. Suggested by Daniel P. Volpato	2019-09-12 09:57:50 -06:00
src	drivers/timers/pwm.c: Move the pwm/pwm.c driver to timers/pwm.c, The drivers/pwm contained only one .c file (pwm.c), so to avoid the proliferation of sub-directories inside drivers/ is better to move the pwm.c driver to drivers/timers. The pwm.h header was moved to include/nuttx/timers to keep consistency, so all files referencing it need to be updated.	2019-09-02 07:57:10 -06:00
Kconfig
README.txt

README.txt

Teensy LC README
================

  This is the README file for NuttX on the PJRC Teensy LC.  The Teensy LC
  is a DIP style breakout board for the MKL25Z64 and comes with a USB
  based bootloader.  Contributed by Michael Hope.

Development Environment
=======================

  All testing was done with the GNU ARM Embedded 4.9 toolchain on
  Linux.  See https://developer.arm.com/open-source/gnu-toolchain/gnu-rm to download.

  Once you've configured and built NuttX, flash the resulting
  nuttx.hex file to the board using the Teensy Loader Application.

LEDs
====

  The Teensy LC has a single LED. If CONFIG_ARCH_LEDS is defined, then
  NuttX will update the LED as the board boots.  The summary is:

  * LED off: board booting
  * LED on: initial stack created
  * LED flashing: panic.

  See `include/board.h` for details.

Serial Console
==============

  The serial console is mapped to UART0 and appears on pins 0 (RX) and
  1 (TX). Consider using a 3.3 V USB to serial adapter such as the
  Sparkfun #9717 FTDI cable.