diff --git a/boards/arm/stm32f7/stm32f769i-disco/src/stm32_boot.c b/boards/arm/stm32f7/stm32f769i-disco/src/stm32_boot.c
index 501825135a..2cccc8ea75 100644
--- a/boards/arm/stm32f7/stm32f769i-disco/src/stm32_boot.c
+++ b/boards/arm/stm32f7/stm32f769i-disco/src/stm32_boot.c
@@ -63,9 +63,10 @@
  * Name: stm32_boardinitialize
  *
  * Description:
- *   All STM32 architectures must provide the following entry point.  This entry point
- *   is called early in the initialization -- after all memory has been configured
- *   and mapped but before any devices have been initialized.
+ *   All STM32 architectures must provide the following entry point.
+ *   This entry point is called early in the initialization -- after all
+ *   memory has been configured and mapped but before any devices have been
+ *   initialized.
  *
  ****************************************************************************/
 
@@ -74,8 +75,8 @@ void stm32_boardinitialize(void)
 #if defined(CONFIG_STM32F7_SPI1) || defined(CONFIG_STM32F7_SPI2) || \
     defined(CONFIG_STM32F7_SPI3) || defined(CONFIG_STM32F7_SPI4) || \
     defined(CONFIG_STM32F7_SPI5)
-  /* Configure SPI chip selects if 1) SPI is not disabled, and 2) the weak function
-   * stm32_spidev_initialize() has been brought into the link.
+  /* Configure SPI chip selects if 1) SPI is not disabled, and 2) the weak
+   * function stm32_spidev_initialize() has been brought into the link.
    */
 
   if (stm32_spidev_initialize)
@@ -85,7 +86,8 @@ void stm32_boardinitialize(void)
 #endif
 
 #ifdef CONFIG_SPORADIC_INSTRUMENTATION
-  /* This configuration has been used for evaluating the NuttX sporadic scheduler.
+  /* This configuration has been used for evaluating the NuttX sporadic
+   * scheduler.
    * The following call initializes the sporadic scheduler monitor.
    */
 
@@ -107,12 +109,13 @@ void stm32_boardinitialize(void)
  * Name: board_late_initialize
  *
  * Description:
- *   If CONFIG_BOARD_LATE_INITIALIZE is selected, then an additional initialization call
- *   will be performed in the boot-up sequence to a function called
- *   board_late_initialize().  board_late_initialize() will be called immediately after
- *   up_initialize() is called and just before the initial application is started.
- *   This additional initialization phase may be used, for example, to initialize
- *   board-specific device drivers.
+ *   If CONFIG_BOARD_LATE_INITIALIZE is selected, then an additional
+ *   initialization call will be performed in the boot-up sequence to a
+ *   function called board_late_initialize().
+ *   board_late_initialize() will be called immediately after up_initialize()
+ *   is called and just before the initial application is started.
+ *   This additional initialization phase may be used, for example, to
+ *   initialize board-specific device drivers.
  *
  ****************************************************************************/
 
diff --git a/boards/arm/stm32f7/stm32f769i-disco/src/stm32f769i-disco.h b/boards/arm/stm32f7/stm32f769i-disco/src/stm32f769i-disco.h
index f8e98176bd..e460f3da22 100644
--- a/boards/arm/stm32f7/stm32f769i-disco/src/stm32f769i-disco.h
+++ b/boards/arm/stm32f7/stm32f769i-disco/src/stm32f769i-disco.h
@@ -47,6 +47,7 @@
 /****************************************************************************
  * Pre-processor Definitions
  ****************************************************************************/
+
 /* procfs File System */
 
 #ifdef CONFIG_FS_PROCFS
@@ -61,24 +62,27 @@
 
 /* The STM32F769I-DISCO has one user controllable LED: LD3.
  *
- * LD3 is controlled by PA12 which is also the SPI2_SCK at the Arduino interface.
+ * LD3 is controlled by PA12 which is also the SPI2_SCK at the Arduino
+ * interface.
  * LD3 is on when PA12 is high.
  */
 
 #define GPIO_LD3           (GPIO_OUTPUT | GPIO_PUSHPULL | GPIO_SPEED_50MHz | GPIO_OUTPUT_CLEAR | \
                             GPIO_PORTA | GPIO_PIN12)
 
-/* Pushbutton B1, labelled "User", is connected to GPIO PA0.  A high value will be sensed when the
- * button is depressed. Note that the EXTI interrupt is configured.
+/* Pushbutton B1, labelled "User", is connected to GPIO PA0.
+ * A high value will be sensed when the button is depressed.
+ * Note that the EXTI interrupt is configured.
  */
 
 #define GPIO_BTN_USER      (GPIO_INPUT | GPIO_FLOAT | GPIO_EXTI | GPIO_PORTA | GPIO_PIN0)
 
 /* Sporadic scheduler instrumentation.
- * This configuration has been used for evaluating the NuttX sporadic scheduler.
- * In this evaluation, two GPIO outputs are used.  One indicating the priority
- * (high or low) of the sporadic thread and one indicating where the thread is
- * running or not.
+ * This configuration has been used for evaluating the NuttX sporadic
+ * scheduler.
+ * In this evaluation, two GPIO outputs are used. One indicating the priority
+ * (high or low) of the sporadic thread and one indicating where the thread
+ * is running or not.
  *
  * There is nothing special about the pin selections:
  *
@@ -93,7 +97,8 @@
 
 /* PWM
  *
- * The STM32F769 Discovery can be configured to output a pulse train using TIM1 CH4 on PA11.
+ * The STM32F769 Discovery can be configured to output a pulse train using
+ * TIM1 CH4 on PA11.
  */
 
 #define STM32F769I_DISCO_PWMTIMER   1
@@ -106,7 +111,7 @@
 #ifndef __ASSEMBLY__
 
 /****************************************************************************
- * Public Functions
+ * Public Function Prototypes
  ****************************************************************************/
 
 /****************************************************************************
@@ -141,7 +146,8 @@ int stm32_pwm_setup(void);
  * Name: stm32_spidev_initialize
  *
  * Description:
- *   Called to configure SPI chip select GPIO pins for the stm32f769i-disco board.
+ *   Called to configure SPI chip select GPIO pins for the stm32f769i-disco
+ *   board.
  *
  ****************************************************************************/
 
@@ -151,7 +157,8 @@ void weak_function stm32_spidev_initialize(void);
  * Name: arch_sporadic_initialize
  *
  * Description:
- *   This configuration has been used for evaluating the NuttX sporadic scheduler.
+ *   This configuration has been used for evaluating the NuttX sporadic
+ *   scheduler.
  *
  ****************************************************************************/