mirror of
https://github.com/FreeRTOS/FreeRTOS-Kernel.git
synced 2025-12-12 14:45:09 -05:00
21 lines
490 B
C
21 lines
490 B
C
/* This is a stub used for the VeriFast proof. */
|
|
|
|
/*
|
|
* Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
|
|
*
|
|
* SPDX-License-Identifier: BSD-3-Clause
|
|
*/
|
|
|
|
// ---------------------------------------
|
|
// THIS FILE IS AUTOGENERATED; DO NOT EDIT
|
|
// ---------------------------------------
|
|
|
|
#ifndef _PICO_VERSION_H
|
|
#define _PICO_VERSION_H
|
|
|
|
#define PICO_SDK_VERSION_MAJOR 1
|
|
#define PICO_SDK_VERSION_MINOR 4
|
|
#define PICO_SDK_VERSION_REVISION 0
|
|
#define PICO_SDK_VERSION_STRING "1.4.0"
|
|
|
|
#endif
|