/*
    ChibiOS - Copyright (C) 2006..2021 Giovanni Di Sirio

    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.
*/

/**
 * @file    RP/system_rp2040.h
 * @brief   CMSIS system device file for the RP2040.
 *
 * @defgroup CMSIS_RP2040 RP2040 System Device File
 * @ingroup CMSIS_DEVICE
 * @{
 */

#ifndef SYSTEM_RP2040_H
#define SYSTEM_RP2040_H

extern uint32_t SystemCoreClock;

#ifdef __cplusplus
 extern "C" {
#endif

#ifdef __cplusplus
}
#endif

#endif /* SYSTEM_RP2040_H */