diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html index 83716155a6a..236c5d6d195 100644 --- a/Documentation/NuttX.html +++ b/Documentation/NuttX.html @@ -8,7 +8,7 @@

NuttX RTOS

-

Last Updated: May 1, 2015

+

Last Updated: May 18, 2015

@@ -1330,7 +1330,7 @@
  • ARM926EJS (4)
  • ARM Cortex-A5 (2)
  • ARM Cortex-A8 (1)
    • -
  • ARM Cortex-M0/M0+ (4)
    • +
  • ARM Cortex-M0/M0+ (5)
  • ARM Cortex-M3 (32)
  • ARM Cortex-M4 (20)
  • ARM Cortex-M7 (1)
    • @@ -1402,6 +1402,7 @@
  • AVR AT90USB64x and AT90USB6128x (8-bit AVR)
  • AVR32 AT32UC3BXXX (32-bit AVR32)
  • Atmel SAMD20 (ARM Cortex-M0+)
    • +
  • Atmel SAML21 (ARM Cortex-M0+)
  • Atmel SAM3U (ARM Cortex-M3)
  • Atmel SAM3X (ARM Cortex-M3)
  • Atmel SAM4C (ARM Cortex-M4)
    • @@ -2229,6 +2230,28 @@ nsh> + +
    +
    + + +
    + +

    + Atmel SAML21. + The port of NuttX to the Atmel SAML21-Xplained Pro development board. + This board features the ATSAML21J18A MCU (Cortex-M0+ with 256KB of FLASH and 32KB of SRAM). +

    + + + diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html index 9712eb01ded..2f6fbaf6015 100644 --- a/Documentation/NuttxPortingGuide.html +++ b/Documentation/NuttxPortingGuide.html @@ -12,7 +12,7 @@

    NuttX RTOS Porting Guide

    -

    Last Updated: April 1, 2015

    +

    Last Updated: May 18, 2015

    @@ -2725,6 +2725,8 @@ int up_timer_start(FAR const struct timespec *ts);
  • 4.3.5.3 wd_start
  • 4.3.5.4 wd_cancel
  • 4.3.5.5 wd_gettime
    • +
  • 4.3.5.6 Watchdog Timer Callback
    • +

    4.3.5.1 wd_create/wd_static

    @@ -2927,6 +2929,36 @@ VxWorks provides the following comparable interface: means either that wdog is not valid or that the wdog has already expired.

    +

    4.3.5.6 Watchdog Timer Callback

    +

    + When a watchdog expires, the callback function with this type is called: +

    +
    +    typedef void (*wdentry_t)(int argc, ...);
+
    +

    + Where argc is the number of wdparm_t type arguments that follow. +

    +

    + The arguments are passed as scalar wdparm_t values. For systems where the sizeof(pointer) < sizeof(uint32_t), the following union defines the alignment of the pointer within the uint32_t. For example, the SDCC MCS51 general pointer is 24-bits, but uint32_t is 32-bits (of course). +

    + We always have sizeof(pointer) <= sizeof(uintptr_t) by definition. +

    + +

    4.4 Work Queues

    Work Queues. NuttX provides work queues. Work queues are threads the service a queue of work items to be performed. There are useful for off-loading work to a different threading context, for delayed processing, or for serializing activities. diff --git a/Documentation/NuttxUserGuide.html b/Documentation/NuttxUserGuide.html index 26079b5752e..4e028ae0bdd 100644 --- a/Documentation/NuttxUserGuide.html +++ b/Documentation/NuttxUserGuide.html @@ -9731,37 +9731,6 @@ notify a task when a message is available on a queue. }; -

    3.4.9 Watchdog Data Types

    - -

    - When a watchdog expires, the callback function with this - type is called: -

    -
    -    typedef void (*wdentry_t)(int argc, ...);
-
    -

    - Where argc is the number of uint32_t type arguments that follow. -

    -

    - The arguments are passed as wdparm_t values. For systems where the sizeof(pointer) < sizeof(uint32_t), the following union defines the alignment of the pointer within the uint32_t. For example, the SDCC MCS51 general pointer is 24-bits, but uint32_t is 32-bits (of course). -

    - We always have sizeof(pointer) <= sizeof(uintptr_t) by definitions. -

    -