#include "max7219_vcd_values.h"

#define CS bit(10)
#define SCK bit(11)
#define MOSI bit(12)
#define MASK (CS|SCK|MOSI)

void setup() {
  Serial1.begin(115200);
  Serial1.println("Hello, SiLife!");
  pinMode(10, OUTPUT);
  pinMode(11, OUTPUT);
  pinMode(12, OUTPUT);
  for (int i = 0; i < sizeof(vcd_pin_data) / sizeof(vcd_pin_data[0]); i++) {
    int value =
      ((vcd_pin_data[i] & PIN_SPI_CS) ? CS : 0) |
      ((vcd_pin_data[i] & PIN_SPI_MOSI) ? MOSI : 0) |
      ((vcd_pin_data[i] & PIN_SPI_SCK) ? SCK : 0);
    sio_hw->gpio_out = (sio_hw->gpio_out & ~MASK) | value;
  }
}

void loop() {
  delay(10); // this speeds up the simulation
}
BOOTSELLED1239USBRaspberryPiPico©2020RP2-8020/21P64M15.00TTT