Credits: Andreas Seltenreich
[Tested on Raspberry Pi OS Lite]
Bitgen generates a bitstream from verilog code.
For using bitgen, write a verilog file with name, example.v(say) and pin config file example_pin.pcf
Run "./bitgen.sh example example_pin"
'image' file generated is the one to be written on your olimex hx8k
Troubleshoot:
1. Make bitgen.sh an executable (if not).