binary_info.h
Go to the documentation of this file.
1/*
2 * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
3 *
4 * SPDX-License-Identifier: BSD-3-Clause
5 */
6
7#ifndef _PICO_BINARY_INFO_H
8#define _PICO_BINARY_INFO_H
9
23#include "pico/binary_info/defs.h"
24#include "pico/binary_info/structure.h"
25
26// PICO_CONFIG: PICO_NO_BINARY_INFO, Don't include "binary info" in the output binary, type=bool, default=0 except for `PICO_PLATFORM` `host`, group=pico_runtime_init
27#if !PICO_ON_DEVICE && !defined(PICO_NO_BINARY_INFO)
28#define PICO_NO_BINARY_INFO 1
29#endif
30#include "pico/binary_info/code.h"
31#endif