1  /*
 2   * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
 3   *
 4   * SPDX-License-Identifier: BSD-3-Clause
 5   */
 6  
 7  #ifndef _PICO_STDLIB_H_
 8  #define _PICO_STDLIB_H_
 9  
10  #include <stddef.h>
11  #include <stdio.h>
12  #include <stdlib.h>
13  
14  #include "piolib.h"
15  
16  #endif