History

Ralf Schlatterbeck 6c63efc84e Add noflashboot to config file Don't load application from flash after timeout, makes it work for long ssh connection times when the raspi has no DNS and produces DNS timeouts too long for the bootloader. Note that this needs a new icosoc (at the time of this commit).		2016-09-29 21:24:29 +02:00
..
.gitignore	Implement etimer callback	2016-05-05 16:32:31 +02:00
icosoc.cfg	Add noflashboot to config file	2016-09-29 21:24:29 +02:00
Makefile	Changes for new icoboard	2016-06-30 12:57:32 +02:00
project-conf.h	Initial PicoRV32 target	2016-03-31 12:47:05 +02:00
README.md	initial upload	2016-08-16 21:19:49 +02:00
riscv_flash.ld	Working wallclock example	2016-05-13 16:01:10 +02:00
wallclock.c	Working wallclock example	2016-05-13 16:01:10 +02:00

Raspberry pi must reachable over dhcp with the name raspi

make TARGET=pico-rv32-icoboard

make TARGET=pico-rv32-icoboard run