text: ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
  // Copyright (c) Microsoft Corporation.  All rights reserved.
  ////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////////
  
  #include <tinyhal.h>
  
  //--//
  
  
  extern const ConfigurationSector g_ConfigurationSector;
  
  //const ConfigurationSector g_ConfigurationSector;
  
  
  
  
  OEM_MODEL_SKU OEM_Model_SKU;
  
  HAL_SYSTEM_CONFIG HalSystemConfig =
  {
      { TRUE },                                       // HAL_DRIVER_CONFIG_HEADER Header;
              
      //--//
  
      {                                               // UINT32      DebuggerPorts[MAX_DEBUGGERS];
          DEBUGGER_PORT,
      },
  
      {                                               // Mesagging Ports
          MESSAGING_PORT,
      },
  
      //--//
  
      DEBUG_TEXT_PORT,                                // COM_HANDLE  DebugTextPort;
      115200,                                         // UINT32  USART_DefaultBaudRate;
      STDIO,                                          // COM_HANDLE  stdio;
  
      { 0, 4*1024*1024 },                             // HAL_SYSTEM_MEMORY_CONFIG RAM1;
      { 0x10000000, 2*1024*1024 },                    // HAL_SYSTEM_MEMORY_CONFIG FLASH;
  };
  
  /***************************************************************************/
  
  const char HalName[] = HAL_SYSTEM_NAME;
  
  //--//
  
  