130 B
130 B
Raspberry pi must reachable over dhcp with the name raspi
make TARGET=pico-rv32-icoboard
make TARGET=pico-rv32-icoboard run
make TARGET=pico-rv32-icoboard
make TARGET=pico-rv32-icoboard run