# Raspberry pi must reachable over dhcp with the name raspi

make TARGET=pico-rv32-icoboard

make TARGET=pico-rv32-icoboard run