v2020.01.13
12f:
put [email protected] flash@0x300000
put [email protected] flash@0x310000
put saxonsoc-sdimage.raw sd@0
put saxonsoc-ulx3s-linux-12f.bit fpga
85f with 64 MB SDRAM:
put [email protected] flash@0x300000
put [email protected] flash@0x310000
put saxonsoc-sdimage-64.raw sd@0
put saxonsoc-ulx3s-linux-85f-64.bit fpga
without ESP32, you need to prepare sd card manually (dd if=saxonsoc-sdimage.raw) and uploading it with ujprog. example for 45f:
ujprog -j FLASH -f 0x300000 [email protected]
ujprog -j FLASH -f 0x310000 [email protected]
ujprog saxonsoc-ulx3s-linux-45f.bit
patching u-boot for ext2 on second partition (you still need to patch /boot/dtb, see below):
sed -e 's/load mmc 0:1/load mmc 0:2/g' <[email protected] > [email protected]
patching dtb in /boot for ext2 on second partition (u-boot patching above is needed):
cp /boot/dtb /boot/dtb.orig
sed -e 's#root=/dev/mmcblk0p1#root=/dev/mmcblk0p2#g' < /boot/dtb.orig > /boot/dtb