From 26f3d216a3e471800dc8e5bbbdabb5299c6decb5 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Sun, 13 Mar 2016 07:56:54 -0600 Subject: [PATCH] Fix some HTML syntax errors --- Documentation/NuttX.html | 26 +++++++++--------- Documentation/NuttxPortingGuide.html | 40 ++++++++++++++-------------- 2 files changed, 33 insertions(+), 33 deletions(-) diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html index 8a22cd7ee13..a1a2533380e 100644 --- a/Documentation/NuttX.html +++ b/Documentation/NuttX.html @@ -8,7 +8,7 @@

NuttX RTOS

-

Last Updated: January 28, 2016

+

Last Updated: March 13, 2016

@@ -1506,8 +1506,8 @@ @@ -1558,8 +1558,8 @@
  • STMicro STM32F107x (STM32 F1 "Connectivity Line" family, ARM Cortex-M3)
  • STMicro STM32F205x (STM32 F2 family, ARM Cortex-M3)
  • STMicro STM32F207x (STM32 F2 family, ARM Cortex-M3)
    • -
  • STMicro STM32F302x (STM32 F3 family, ARM Cortex-M4).
    • -
  • STMicro STM32F303x (STM32 F3 family, ARM Cortex-M4).
    • +
  • STMicro STM32F302x (STM32 F3 family, ARM Cortex-M4)
    • +
  • STMicro STM32F303x (STM32 F3 family, ARM Cortex-M4)
    • @@ -1577,7 +1577,7 @@
  • Texas Instruments (some formerly Luminary)

    - PJRC Teensy-LC. + PJRC Teensy-LC. This is a port of NuttX to the PJRC Teensy-LC board that features the MKL25Z64 Cortex-M0+ MCU, 64KB of FLASH and 8KB of SRAM. The Teensy LC is a DIP style breakout board for the MKL25Z64 and comes with a USB based bootloader. See the Freescale website for further information about this board. @@ -3753,7 +3753,7 @@ nsh>

    - NXP/Embest LPC4357-EVB. + NXP/Embest LPC4357-EVB. This NuttX port is for the LPC4357-EVB from NXP/Embest featuring the NXP LPC4357FET256 MCU. The LPC4357 differs from the LPC4330 primarily in that it includes 1024KiB of on-chip NOR FLASH. See the NXP website for more detailed information about the LPC4357 and the LPC4357-EVB. @@ -3811,7 +3811,7 @@ nsh>

  • -

    NuttX-7.6 +

    NuttX-7.6. The basic port is was contributed by Toby Duckworth. This port leverages from the LPC4330-Xplorer port (and, as of this writing, still requires some clean up of the technical discussion in some files). The basic NuttShell (NSH) configuration is present and has been verified. @@ -3821,7 +3821,7 @@ nsh>

    - NXP LPC4370-Link2 + NXP LPC4370-Link2. This is the NuttX port to the NXP LPC4370-Link2 development board featuring the NXP LPC4370FET100 MCU.

    - WaveShare LPC4337-WS + WaveShare LPC4337-WS. This is the NuttX port to the WaveShare LPC4337-WS development board featuring the NXP LPC4337JBD144 MCU.

    +

    2.9 nuttx/libc

    @@ -1397,7 +1397,7 @@ libc/ | `-- (Implementation of some functions from time.h) `-- unistd/ `-- (Implementation of some functions from unistd.h) - +

    2.10 nuttx/libxx

    @@ -1599,7 +1599,7 @@ netutils/

    - If your application directory is not in the standard location (../apps or ../apps-<version>), + If your application directory is not in the standard location (../apps or ../apps-<version>), then you should also specify the location of the application directory on the command line like:

    @@ -2468,7 +2468,7 @@ In order to use the Tickless OS, one must provide special support from the platf Currently these timer resources are only provided on a few platforms. An example implementation is for the simulation is at nuttx/arch/sim/src/up_tickless.c. There is another example for the Atmel SAMA5 at nuttx/arch/arm/src/sama5/sam_tickless.c. These paragraphs will explain how to provide the Tickless OS support to any platform. -

    4.3.4.3 Tickless Configuration Options

    +

    4.3.4.3 Tickless Configuration Options

    -

    4.3.4.4 Tickless Imported Intefaces

    +

    4.3.4.4 Tickless Imported Intefaces

    The interfaces that must be provided by the platform specified code are defined in include/nuttx/arch.h, listed below, and summarized in the following paragraphs:

    @@ -2586,7 +2586,7 @@ config ARCH_SIM +

    Description:

    Description:

    Return the elapsed time since power-up (or, more correctly, since up_timer_initialize() was called). This function is functionally equivalent to clock_gettime() for the clock ID CLOCK_MONOTONIC. This function provides the basis for reporting the current time and also is used to eliminate error build-up from small errors in interval time calculations.

    Description:

    Cancel the alarm and return the time of cancellation of the alarm. These two steps need to be as nearly atomic as possible. sched_timer_expiration() will not be called unless the alarm is restarted with up_alarm_start(). If, as a race condition, the alarm has already expired when this function is called, then time returned is the current time.

    Description:

    Start the alarm. sched_timer_expiration() will be called when the alarm occurs (unless up_alaram_cancel is called to stop it).

    Description:

    Cancel the interval timer and return the time remaining on the timer. These two steps need to be as nearly atomic as possible. sched_timer_expiration() will not be called unless the timer is restarted with up_timer_start(). If, as a race condition, the timer has already expired when this function is called, then that pending interrupt must be cleared so that sched_timer_expiration() is not called spuriously and the remaining time of zero should be returned.

    Description:

    Start the interval timer. sched_timer_expiration() will be called at the completion of the timeout (unless up_timer_cancel() is called to stop the timing).