Arduino.h

#pragma once
 
#ifndef HOST
#define HOST
#endif
 
#include <stdint.h>
#include <stdlib.h>
#include "pins_arduino.h"
#include "ArduinoAPI.h"
#include "PicoLogger.h"
#include "PicoHardwareSerial.h"
#include "PicoHardwareSPI.h"
#include "PicoGPIOFunction.h"
#include "PicoTone.h"
#include "PicoTimer.h"
#include "PicoThread.h"
#include "PicoSemaphore.h"
#include "PicoMulticoreFifo.h"
#include "PicoQueue.h"
#include "pico/stdlib.h"
#include "hardware/gpio.h"
#include "hardware/adc.h"
#include "hardware/pwm.h"
 
// Global variables
extern PicoDefaultSerial Serial; // pico_stdio
extern PicoHardwareSerial Serial1;
extern PicoHardwareSerial Serial2; 
extern PicoLogger Logger;   // Support for logging
extern PicoGPIOFunction GPIOFunction;
 
// Pico specific global methods
// Provides the on board temperature in Celsius
int getTemperature();
// Some Arduino libraries rely on the following
char *dtostrf (double __val, signed char __width, unsigned char __prec, char *__s);
char *dtostre (double __val, char *__s, unsigned char __prec, unsigned char __flags);