diff --git a/ChangeLog b/ChangeLog index 2c22847b9f..4b6fd89be8 100755 --- a/ChangeLog +++ b/ChangeLog @@ -10393,3 +10393,7 @@ signal/sig_timed*.c, timer/timer_settime.c, and wdog/wd_start.c: Update the type passed to watchdog timer handlers. Using uint32_t is a problem for 64-bit machines (2015-05-18). + * configs/saml21-xplained: Add a board build configuration for the + SAML21 Xplained Pro. Initial commit is just the SAMD20 Xplained Pro + board support with naming changed. Does not yet build (2015-05-18). + diff --git a/Documentation/NuttX.html b/Documentation/NuttX.html index 83716155a6..236c5d6d19 100644 --- a/Documentation/NuttX.html +++ b/Documentation/NuttX.html @@ -8,7 +8,7 @@
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
+ 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 26079b5752..4e028ae0bd 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 -