/****************************************************************************
 *
 * Copyright 2020 Samsung Electronics All Rights Reserved.
 * SPDX-License-Identifier: Apache-2.0
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 * http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing,
 * software distributed under the License is distributed on an
 * "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND,
 * either express or implied. See the License for the specific
 * language governing permissions and limitations under the License.
 *
 ****************************************************************************/

#ifndef MBED_CMSIS_H
#define MBED_CMSIS_H
#include <stdbool.h>
#include <stdint.h>
#include <string.h>
#include "s1sbp6a.h"
#include "s1sbp6a_type.h"
#include "cmsis_nvic.h"
#include "s1sbp6a_type.h"
#include "s1sbp6a_cmu.h"
#include "s1sbp6a_pmu.h"
#include "s1sbp6a_uart.h"
#include "s1sbp6a_gpio.h"
#include "s1sbp6a_spi.h"
#include "s1sbp6a_i2c.h"
#include "s1sbp6a_rtc.h"
#include "s1sbp6a_flash.h"
#include "s1sbp6a_wdog.h"
#include "s1sp6a_dual_timer.h"
#endif