From 8855c1369b14c9a7eaa4e3b7a3da44ddb4045b88 Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Sun, 10 Aug 2014 16:09:45 -0600 Subject: [PATCH] Cosmetic --- Documentation/NuttxPortingGuide.html | 8 +++++-- arch/arm/src/sama5/sam_freerun.c | 35 ++++++++++++++++------------ arch/arm/src/sama5/sam_freerun.h | 2 +- arch/arm/src/sama5/sam_oneshot.c | 7 +++--- 4 files changed, 31 insertions(+), 21 deletions(-) diff --git a/Documentation/NuttxPortingGuide.html b/Documentation/NuttxPortingGuide.html index f1ac98246d2..386f1d56687 100644 --- a/Documentation/NuttxPortingGuide.html +++ b/Documentation/NuttxPortingGuide.html @@ -12,7 +12,7 @@

NuttX RTOS Porting Guide

-

Last Updated: August 8, 2014

+

Last Updated: August 10, 2014

@@ -2438,7 +2438,7 @@ else In order to use the Tickless OS, one must provide special support from the platform-specific code. Just as with the default system timer, the platform-specific code must provide the timer resources to support the OS behavior. -Currently these timer resources are only provided by the NuttX simulation. An example implementaion is for the simulation is at nuttx/arch/sim/src/up_tickless.c. These paragraphs will explain how to provide the Tickless OS support to any platform. +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