From 9919e33705c6912f3ab482cf383db5fbeee4c671 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Tue, 21 Mar 2017 15:31:53 -0600
Subject: [PATCH] Trivial changes to comments.

---
 configs/xmc4500-relax/include/board.h | 19 ++++++++++++-------
 1 file changed, 12 insertions(+), 7 deletions(-)

diff --git a/configs/xmc4500-relax/include/board.h b/configs/xmc4500-relax/include/board.h
index f45120a0f2..751e803170 100644
--- a/configs/xmc4500-relax/include/board.h
+++ b/configs/xmc4500-relax/include/board.h
@@ -53,16 +53,21 @@
 
 /* Clocking *************************************************************************/
 /* Default clock initialization
- * fPLL = 288MHz => fSYS = 288MHz => fCPU     = 144MHz
- *                                => fPERIPH  = 144MHz
- *                                => fCCU     = 144MHz
- *                                => fETH     = 72MHz
- *               => fUSB = 48MHz
- *               => fEBU = 72MHz
+ *
+ *   fXTAL = 12Mhz
+ *      -> fPLL = (fXTAL / (2 * 1) * 48) = 288MHz
+ *         -> fSYS = (fPLL / 1)          = 288MHz
+ *            -> fCPU = (fSYS / 2)       = 144MHz
+ *               -> fPERIPH = (fCPU / 1) = 144MHz
+ *            -> fCCU = (fSYS / 2)       = 144MHz
+ *            -> fETH                    = 72MHz   (REVISIT)
+ *         -> fUSB                       = 48MHz   (REVISIT)
+ *         -> fEBU                       = 72MHz   (REVISIT)
  *
  * fUSBPLL Disabled, only enabled if SCU_CLK_USBCLKCR_USBSEL_USBPLL is selected
  *
- * fOFI = 24MHz => fWDT = 24MHz
+ *   fOFI                                = 24MHz
+ *      -> fWDT                          = 24MHz   (REVISIT)
  */
 
 #undef BOARD_FOFI_CALIBRATION              /* Enable factory calibration */