#!/bin/bash mkdir workspace cd workspace git clone https://github.com/micropython/micropython.git cd micropython make -C mpy-cross cd ports/rp2 make submodules make BOARD=RPI_PICO FROZEN_MANIFEST=../../../../src/dimensioner/manifest.py