max32625_bl.c

00001 /**
00002  * @file    max32625_bl.c
00003  * @brief   board ID and meta-data for the hardware interface circuit (HIC) based on MAX32625
00004  *
00005  * DAPLink Interface Firmware
00006  * Copyright (c) 2009-2019, ARM Limited, All Rights Reserved
00007  * SPDX-License-Identifier: Apache-2.0
00008  *
00009  * Licensed under the Apache License, Version 2.0 (the "License"); you may
00010  * not use this file except in compliance with the License.
00011  * You may obtain a copy of the License at
00012  *
00013  * http://www.apache.org/licenses/LICENSE-2.0
00014  *
00015  * Unless required by applicable law or agreed to in writing, software
00016  * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
00017  * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
00018  * See the License for the specific language governing permissions and
00019  * limitations under the License.
00020  */
00021 
00022 #include "target_config.h"
00023 #include "target_board.h"
00024 #include "target_family.h"
00025 
00026 const char *board_id = "0000";
00027 
00028 /**
00029 * List of start and size for each size of flash sector
00030 * The size will apply to all sectors between the listed address and the next address
00031 * in the list.
00032 * The last pair in the list will have sectors starting at that address and ending
00033 * at address start + size.
00034 */
00035 static const sector_info_t sectors_info[] = {
00036     {0x00000000 + 0x10000, 0x2000},
00037  };
00038 
00039 /* ME03 -- MAX32625 512KiB Flash, 160KiB RAM */
00040 target_cfg_t target_device = {
00041     .sectors_info               = sectors_info,
00042     .sector_info_length         = (sizeof(sectors_info))/(sizeof(sector_info_t)),
00043     .flash_regions[0].start     = 0x00000000 + 0x10000,
00044     .flash_regions[0].end       = 0x00000000 + KB(512),
00045     .flash_regions[0].flags     = kRegionIsDefault ,  
00046     .ram_regions[0].start       = 0x20000000,
00047     .ram_regions[0].end         = 0x20028000,
00048     /* .flash_algo not needed for bootloader */
00049 };
00050 
00051 //bootloader has no family
00052 const target_family_descriptor_t *g_target_family = NULL;
00053 
00054 const board_info_t g_board_info = {
00055     .info_version = kBoardInfoVersion,
00056     .board_id = "0000",
00057     .daplink_url_name =       "HELP_FAQHTM",
00058     .daplink_drive_name =       "MAINTENANCE",
00059     .daplink_target_url = "https://mbed.com/daplink",
00060     .target_cfg = &target_device,
00061 };