Update HTML files and clean up some Freedom KL25Z files

3 files changed, 28 insertions, 175 deletions

diff --git a/nuttx/Documentation/NuttX.html b/nuttx/Documentation/NuttX.html
index 35bf7f41e..3dfeaa287 100644
--- a/nuttx/Documentation/NuttX.html
+++ b/nuttx/Documentation/NuttX.html
@@ -8,7 +8,7 @@
   <tr align="center" bgcolor="#e4e4e4">
     <td>
       <h1><big><font color="#3c34ec"><i>NuttX RTOS</i></font></big></h1>
-      <p>Last Updated: April 10, 2013</p>
+      <p>Last Updated: April 17, 2013</p>
     </td>
   </tr>
 </table>
@@ -1551,7 +1551,7 @@ svn checkout -r5745 http://svn.code.sf.net/p/nuttx/code/trunk nuttx-code
       <li><a href="#arm7tdmi">ARM7TDMI</b></a> (5)</li>
       <li><a href="#arm920t">ARM920T</a> (1) </li>
       <li><a href="#arm926ejs">ARM926EJS</a> (3) </li>
-      <li><a href="#armcortexm0">ARM Cortex-M0</a> (1)</li>
+      <li><a href="#armcortexm0">ARM Cortex-M0/M0+</a> (2)</li>
       <li><a href="#armcortexm3">ARM Cortex-M3</a> (17)</li>
       <li><a href="#armcortexm4">ARM Cortex-M4</a> (7)</li>
     </ul>
@@ -1927,6 +1927,30 @@ nsh>
   </td>
 </tr>
 <tr>
+  <td><br></td>
+  <td><hr></td>
+</tr>
+<tr>
+  <td><br></td>
+  <td>
+    <p>
+      <b>FreeScale Freedom KL25Z</b>.
+      This is a port of NuttX to the Nuvoton NuTiny-SDK-NUC120 that features the NUC120LE3AN MCU.
+      See the <a href="http://www.freescale.com/webapp/sps/site/prod_summary.jsp?code=FRDM-KL25Z&tid=vanFRDM-KL25Z">Freescale</a> website for further information about this board.
+    </p>
+    <ul>
+      <p>
+        <b>STATUS</b>.
+        This is a work in progress by Alan Carvalho de Assis.
+        This initial support is very minimal:
+        There is an OS test configuration that verifies the correct port of NuttX to the part and
+        a NuttShell (<a href="NuttShell.html">NSH</a>) configuration that might be the basis for an application development.
+        As of this writing, more testing and more device driver development are needed to make this a more complete port.
+      </p>
+    </ul>
+  </td>
+</tr>
+<tr>
   <td valign="top"><img height="20" width="20" src="favicon.ico"></td>
   <td bgcolor="#5eaee1">
     <a name="armcortexm3"><b>ARM Cortex-M3</b>.</a>
diff --git a/nuttx/configs/freedom-kl25z/include/board.h b/nuttx/configs/freedom-kl25z/include/board.h
index d82517a49..d9bbdad04 100644
--- a/nuttx/configs/freedom-kl25z/include/board.h
+++ b/nuttx/configs/freedom-kl25z/include/board.h
@@ -54,8 +54,7 @@
 /* The Kwikstik-K40 has a 4MHz crystal on board */
 
 #undef  BOARD_EXTCLOCK                      /* Crystal */
-#define BOARD_EXTAL_FREQ     8000000        /* 8MHz crystal frequency (REFCLK) */
-#define BOARD_HCLK_FREQUENCY BOARD_EXTAL_FREQ
+#define BOARD_XTAL_FREQ      8000000        /* 8MHz crystal frequency (REFCLK) */
 #define BOARD_XTAL32_FREQ    32768          /* 32KHz RTC Oscillator */
 
 /* PLL Configuration.  NOTE: Only even frequency crystals are supported that will
@@ -69,7 +68,7 @@
 #define BOARD_PRDIV          2              /* PLL External Reference Divider */
 #define BOARD_VDIV           48             /* PLL VCO Divider (frequency multiplier) */
 
-#define BOARD_PLLIN_FREQ     (BOARD_EXTAL_FREQ / BOARD_PRDIV)
+#define BOARD_PLLIN_FREQ     (BOARD_XTAL_FREQ / BOARD_PRDIV)
 #define BOARD_PLLOUT_FREQ    (BOARD_PLLIN_FREQ * BOARD_VDIV)
 #define BOARD_MCG_FREQ       BOARD_PLLOUT_FREQ
 
diff --git a/nuttx/configs/freedom-kl25z/include/board.h_orig b/nuttx/configs/freedom-kl25z/include/board.h_orig
deleted file mode 100644
index 639d7b580..000000000
--- a/nuttx/configs/freedom-kl25z/include/board.h_orig
+++ /dev/null
@@ -1,170 +0,0 @@
-/************************************************************************************
- * configs/freedom-kl25z/include/board.h
- * include/arch/board/board.h
- *
- *   Copyright (C) 2013 Gregory Nutt. All rights reserved.
- *   Author: Gregory Nutt <gnutt@nuttx.org>
- *
- * Redistribution and use in source and binary forms, with or without
- * modification, are permitted provided that the following conditions
- * are met:
- *
- * 1. Redistributions of source code must retain the above copyright
- *    notice, this list of conditions and the following disclaimer.
- * 2. Redistributions in binary form must reproduce the above copyright
- *    notice, this list of conditions and the following disclaimer in
- *    the documentation and/or other materials provided with the
- *    distribution.
- * 3. Neither the name NuttX nor the names of its contributors may be
- *    used to endorse or promote products derived from this software
- *    without specific prior written permission.
- *
- * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
- * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
- * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
- * FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
- * COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
- * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
- * BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS
- * OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED
- * AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
- * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
- * ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
- * POSSIBILITY OF SUCH DAMAGE.
- *
- ************************************************************************************/
-
-#ifndef __CONFIGS_FREEDOM_KL25Z_INCLUDE_BOARD_H
-#define __CONFIGS_FREEDOM_KL25Z_INCLUDE_BOARD_H
-
-/************************************************************************************
- * Included Files
- ************************************************************************************/
-
-#include <nuttx/config.h>
-
-#ifndef __ASSEMBLY__
-# include <stdint.h>
-#endif
-
-/************************************************************************************
- * Definitions
- ************************************************************************************/
-/* Clocking *************************************************************************/
-/* Crystal frequencies */
-
-#define BOARD_XTALHI_FREQUENCY 12000000
-#define BOARD_XTALLO_FREQUENCY 32768
-
-/* PLL: The PLL must be 48MHz x N times when using USB
- *
- * FOUT = FIN x (NF/NR) x (1 / NO)
- * FIN  = Input reference clock frequency
- * NF   = Feedback divider
- *      = (FB_DV + 2)
- * NR   = Input divider
- *      = (IN_DV + 2)
- * NO   = 1 if OUT_DV == 0
- *        2 if OUT_DV == 1 or 2
- *        4 if OUT_DV == 3
- *
- * FOUT = 12000000 x 48 / 3 / 4
- *      = 48MHz
- */
-
-#define BOARD_PLL_FIN    BOARD_XTALHI_FREQUENCY
-#define BOARD_PLL_FB_DV  46
-#define BOARD_PLL_NF     (BOARD_PLL_FB_DV+2)
-#define BOARD_PLL_IN_DV  1
-#define BOARD_PLL_NR     (BOARD_PLL_IN_DV+2)
-#define BOARD_PLL_OUT_DV 3
-#define BOARD_PLL_NO     4
-
-#define BOARD_PLL_FOUT \
-  (BOARD_PLL_FIN * BOARD_PLL_NF / BOARD_PLL_NR / BOARD_PLL_NO)
-
-/* HCLK. FOUT is the HCLK source clock. */
-
-#define BOARD_HCLK_N     1
-#define BOARD_HCLK_FREQUENCY (BOARD_PLL_FOUT / BOARD_HCLK_N)
-
-/* USB. FOUT is the source.  The USB CLK must be 48MHz */
-
-#define BOARD_USB_N     1
-#define BOARD_USB_FREQUENCY (BOARD_PLL_FOUT / BOARD_USB_N)
-
-/* LED definitions ******************************************************************/
-/* The NuTiny has a single green LED that can be controlled from sofware.  This LED
- * is connected to PIN17.  It is pulled high so a low value will illuminate the LED.
- */
-
-#define BOARD_NLEDS       1
-
-/* If CONFIG_ARCH_LEDs is defined, then NuttX will control the LED on board the
- * NuTiny.  The following definitions describe how NuttX controls the LEDs:
- *
- *   SYMBOL                Meaning                 LED state
- *                                                 Initially all LED is OFF
- *   -------------------  -----------------------  ------------- ------------
- *   LED_STARTED          NuttX has been started   LED ON
- *   LED_HEAPALLOCATE     Heap has been allocated  LED ON
- *   LED_IRQSENABLED      Interrupts enabled       LED ON
- *   LED_STACKCREATED     Idle stack created       LED ON
- *   LED_INIRQ            In an interrupt          LED should glow
- *   LED_SIGNAL           In a signal handler      LED might glow
- *   LED_ASSERTION        An assertion failed      LED ON while handling the assertion
- *   LED_PANIC            The system has crashed   LED Blinking at 2Hz
- *   LED_IDLE             K25Z is is sleep mode   (Optional, not used)
- */
-
-#define LED_STARTED       0
-#define LED_HEAPALLOCATE  0
-#define LED_IRQSENABLED   0
-#define LED_STACKCREATED  0
-#define LED_INIRQ         0
-#define LED_SIGNAL        0
-#define LED_ASSERTION     0
-#define LED_PANIC         0
-
-/* Button definitions ***************************************************************/
-/* The NuTiny has no buttons */
-
-#define NUM_BUTTONS        0
-
-/************************************************************************************
- * Public Data
- ************************************************************************************/
-
-#ifndef __ASSEMBLY__
-
-#undef EXTERN
-#if defined(__cplusplus)
-#define EXTERN extern "C"
-extern "C"
-{
-#else
-#define EXTERN extern
-#endif
-
-/************************************************************************************
- * Public Function Prototypes
- ************************************************************************************/
-/************************************************************************************
- * Name: kl_boardinitialize
- *
- * Description:
- *   All K25Z architectures must provide the following entry point.  This entry point
- *   is called early in the intitialization -- after all memory has been configured
- *   and mapped but before any devices have been initialized.
- *
- ************************************************************************************/
-
-void kl_boardinitialize(void);
-
-#undef EXTERN
-#if defined(__cplusplus)
-}
-#endif
-
-#endif /* __ASSEMBLY__ */
-#endif  /* __CONFIGS_FREEDOM_KL25Z_INCLUDE_BOARD_H */