PicoSoC demo firmware

Run make all to build HEX files with the firmware. You need to have RiscV toolchain installed and the env. var. RISCV pointing to it.