Rename fletch -> dartino

platforms/stm/disco_dartino/src/main.cc

 // Copyright (c) 2016, the Dartino project authors. Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE.md file.
 
 #include <stm32f7xx_hal.h>
 #include <stm32746g_discovery_sdram.h>
 #include <cmsis_os.h>
 
 #include "src/shared/assert.h"
 
-#include "platforms/stm/disco_fletch/src/page_allocator.h"
-#include "platforms/stm/disco_fletch/src/cmpctmalloc.h"
-#include "platforms/stm/disco_fletch/src/fletch_entry.h"
+#include "platforms/stm/disco_dartino/src/page_allocator.h"
+#include "platforms/stm/disco_dartino/src/cmpctmalloc.h"
+#include "platforms/stm/disco_dartino/src/dartino_entry.h"
 
 // Definition of functions in generated/Src/mx_main.c.
 extern "C" {
 void SystemClock_Config(void);
 void MX_GPIO_Init(void);
 void MX_DCMI_Init(void);
 void MX_DMA2D_Init(void);
 void MX_FMC_Init(void);
 void MX_ETH_Init(void);
 void MX_I2C1_Init(void);
@@ skipping 100 matching lines @@
   MX_I2C1_Init();
   MX_LTDC_Init();
   MX_QUADSPI_Init();
   MX_SDMMC1_SD_Init();
   MX_SPDIFRX_Init();
   MX_USART1_UART_Init();
 
   // Initialize the SDRAM (including FMC).
   BSP_SDRAM_Init();
 
-  osThreadDef(mainTask, FletchEntry, osPriorityNormal, 0, 4 * 1024);
+  osThreadDef(mainTask, DartinoEntry, osPriorityNormal, 0, 4 * 1024);
   osThreadId mainTaskHandle = osThreadCreate(osThread(mainTask), NULL);
   USE(mainTaskHandle);
 
   // Start the scheduler.
   osKernelStart();
 
   // We should never get as the scheduler should never terminate.
   FATAL("Returned from scheduler");
 }