Rename fletch -> dartino

platforms/stm/disco_fletch/src/main.cc

Index: platforms/stm/disco_fletch/src/main.cc
diff --git a/platforms/stm/disco_fletch/src/main.cc b/platforms/stm/disco_fletch/src/main.cc
deleted file mode 100644
index 470265ad7becce824b1c67af458a37af83f5e8ba..0000000000000000000000000000000000000000
--- a/platforms/stm/disco_fletch/src/main.cc
+++ /dev/null
@@ -1,143 +0,0 @@
-// 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"
-
-// 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);
-void MX_LTDC_Init(void);
-void MX_QUADSPI_Init(void);
-void MX_SDMMC1_SD_Init(void);
-void MX_SPDIFRX_Init(void);
-void MX_USART1_UART_Init(void);
-}  // extern "C"
-
-// This object is initialized during EarlyInit.
-PageAllocator* page_allocator;
-
-#define MAX_STACK_SIZE 0x2000
-
-// Wrapping of the static initialization to configure the C/C++ heap
-// first.
-void EarlyInit();
-extern "C" void __real___libc_init_array();
-extern "C" void __wrap___libc_init_array() {
-  EarlyInit();
-  __real___libc_init_array();
-}
-
-// Wrapping of all malloc/free calls in newlib. This should cause the
-// newlib malloc to never be used, and sbrk should never be called for
-// memory.
-extern "C" void *__wrap__malloc_r(struct _reent *reent, size_t size) {
-  return cmpct_alloc(size);
-}
-
-extern "C" void *__wrap__realloc_r(
-    struct _reent *reent, void *ptr, size_t size) {
-  return cmpct_realloc(ptr, size);
-}
-
-extern "C" void *__wrap__calloc_r(
-    struct _reent *reent, size_t nmemb, size_t size) {
-  if (nmemb == 0 || size == 0) return NULL;
-  size = nmemb * size;
-  void *ptr = cmpct_alloc(size);
-  memset(ptr, 0, size);
-  return ptr;
-}
-
-extern "C" void __wrap__free_r(struct _reent *reent, void *ptr) {
-  cmpct_free(ptr);
-}
-
-// Early initialization before static initialization. This will
-// configure the C/C++ heap.
-void EarlyInit() {
-  // Get the free location in system RAM just after the bss segment.
-  extern char end asm("end");
-  uintptr_t heap_start = reinterpret_cast<uintptr_t>(&end);
-
-  // Reserve a map for 72 pages (256k + 16k + 16k) in .bss.
-  const size_t kDefaultPageMapSize = 72;
-  static uint8_t default_page_map[kDefaultPageMapSize];
-  // Allocate a PageAllocator in system RAM.
-  page_allocator = reinterpret_cast<PageAllocator*>(heap_start);
-  page_allocator->Initialize();
-  heap_start += sizeof(PageAllocator);
-  // Use the NVIC offset register to locate the main stack pointer.
-  uintptr_t min_stack_ptr =
-      (uintptr_t) (*(unsigned int*) *(unsigned int*) 0xE000ED08);
-  // Locate the stack bottom address.
-  min_stack_ptr -= MAX_STACK_SIZE;
-  // Add the system RAM as the initial arena.
-  uint32_t arena_id = page_allocator->AddArena(
-      "System RAM", heap_start, min_stack_ptr - heap_start,
-      default_page_map, kDefaultPageMapSize);
-  ASSERT(arena_id == 1);
-
-  // Initialize the compact C/C++ heap implementation.
-  cmpct_init();
-}
-
-extern "C" void* page_alloc(size_t pages) {
-  return page_allocator->AllocatePages(pages);
-}
-
-extern "C" void page_free(void* start, size_t pages) {
-  return page_allocator->FreePages(start, pages);
-}
-
-int main() {
-  // Reset of all peripherals, and initialize the Flash interface and
-  // the Systick.
-  HAL_Init();
-
-  // Configure the system clock. Thie functions is defined in
-  // generated/Src/main.c.
-  SystemClock_Config();
-
-  // Initialize all configured peripherals. These functions are
-  // defined in generated/Src/mx_main.c. We are not calling
-  // MX_FMC_Init, as BSP_SDRAM_Init will do all initialization of the
-  // FMC.
-  MX_GPIO_Init();
-  MX_DCMI_Init();
-  MX_DMA2D_Init();
-  MX_ETH_Init();
-  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);
-  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");
-}