From 6fbe614a752f827b276781c3c9901d7c6044ed37 Mon Sep 17 00:00:00 2001
From: Gregory Nutt Last Updated: May 1, 2015 Last Updated: May 18, 2015
+ 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).
+
+ STATUS.
+ This is a work in progress.
+ Initial support for the SAML21 Xplained Pro is expected in the NuttX 7.10 timeframe.
+ Refer to the SAML21 Explained Pro board README file for further information.
+ Last Updated: April 1, 2015 Last Updated: May 18, 2015
@@ -1330,7 +1330,7 @@
NuttX RTOS
-
+
+
+
+
+
+
+
+
+
+
@@ -2725,6 +2725,8 @@ int up_timer_start(FAR const struct timespec *ts);
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
- 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.
+ 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).
+
sizeof(pointer) <= sizeof(uintptr_t) by definition.
+
+
+union wdparm_u
+{
+ FAR void *pvarg; /* The size one generic point */
+ uint32_t dwarg; /* Big enough for a 32-bit value in any case */
+ uintptr_t uiarg; /* sizeof(uintptr_t) >= sizeof(pointer) */
+};
+
+#if UINTPTR_MAX >= UINT32_MAX
+typedef uintptr_t wdparm_t;
+#else
+typedef uint32_t wdparm_t;
+#endif
+
+
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. }; -
- 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).
-
sizeof(pointer) <= sizeof(uintptr_t) by definitions.
-
-
-union wdparm_u
-{
- FAR void *pvarg; /* The size one generic point */
- uint32_t dwarg; /* Big enough for a 32-bit value in any case */
- uintptr_t uiarg; /* sizeof(uintptr_t) >= sizeof(pointer) */
-};
-
-#if UINTPTR_MAX >= UINT32_MAX
-typedef uintptr_t wdparm_t;
-#else
-typedef uint32_t wdpartm_t;
-#endif
-