nuttx

History

cuiziwei 25eb09c3bb nuttx/boards:add KEEP to (.init_array .init_array.) replace (.init_array .init_array.) with KEEP((.init_array .init_array.)). The KEEP statement within a linker script will instruct the linker to keep the specified section, even if no symbols inside it are referenced. This statement is used within the SECTIONS section of the linker script. This becomes relevant when garbage collection is performed at link time, enabled by passing the --gc-sections switch to the linker. The KEEP statement instructs the linker to use the specified section as a root node when creating a dependency graph, looking for unused sections. Essentially forcing the section to be marked as used. Signed-off-by: cuiziwei <cuiziwei@xiaomi.com>		2023-08-05 05:02:25 -07:00
..
configs/nsh	libc/tls: Change the default value of TLS_NELEM to zero	2023-07-20 08:11:30 +02:00
include	Indent the include statement by two spaces	2023-05-16 12:34:32 -03:00
scripts	nuttx/boards:add KEEP to (.init_array .init_array.)	2023-08-05 05:02:25 -07:00
src
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.