ti375 devkit litex debian demo

[Dolu1990]

Hardware :

• Board : https://www.efinixinc.com/products-devkits-titaniumti375c529.html
• HDMI : https://www.digikey.com/en/products/detail/efinix-inc/EFX-HDMI/17084519?s=N4IgTCBcDaIKYDMCWA7JAPABACwCYFskQBdAXyA
• USB pmod : https://github.com/Dolu1990/pmod_usb_host_x4/blob/main/pmods.pdf
• 32 GB sdcard (could be 16 GB for smaller debian images)

Litex :

• soc/cores/vexiiriscv: update clocks + add video framebuffer support enjoy-digital/litex#2059
• build/efinix: add a few IO primitives, IO constraints, sdc rework enjoy-digital/litex#2060
• Add efinix Ti375 c529 dev kit support litex-hub/litex-boards#610
• python3 -m efinix_ti375_c529_dev_kit --cpu-type=vexiiriscv --cpu-variant=debian --with-jtag-tap --with-sdcard --with-coherent-dma --with-ohci --vexii-video "name=video" --vexii-args="--fetch-l1-hardware-prefetch=nl --fetch-l1-refill-count=2 --fetch-l1-mem-data-width-min=128 --lsu-l1-mem-data-width-min=128 --lsu-software-prefetch --lsu-hardware-prefetch rpt --performance-counters 9 --lsu-l1-store-buffer-ops=32 --lsu-l1-refill-count 4 --lsu-l1-writeback-count 4 --lsu-l1-store-buffer-slots=4 --relaxed-div" --l2-bytes=524288 --sys-clk-freq 100000000 --cpu-clk-freq 200000000 --with-cpu-clk --bus-standard axi-lite --cpu-count=4 --build --load

Debian / Linux / Opensbi images generation :

• https://github.com/SpinalHDL/VexiiRiscv/tree/dev/doc/litex/debian
• p1.zip
• p2 : too big to upload

[Dolu1990]

! Update !

Debian and FPGA images are uploaded here :
https://drive.google.com/drive/folders/12WYe_igo2edwZABvF9Zta_bw4kuEbhms?usp=sharing

Here is how you can flash a sdcard using those (after you uncompressed p1 p2 :

export SDCARD=/dev/???
export SDCARD_P1=${SDCARD}p1
export SDCARD_P2=${SDCARD}p2

(
echo o
echo n
echo p
echo 1
echo
echo +600M
echo y
echo n
echo p
echo 2
echo
echo +19000M
echo y
echo t
echo 1
echo b
echo p
echo w
) | sudo fdisk $SDCARD

sudo mkfs.vfat $SDCARD_P1
sudo mkfs.ext4 $SDCARD_P2
sudo e2label $SDCARD_P2 rootfs

dd if=p1.img of=$SDCARD_P1
dd if=p2.img of=$SDCARD_P2