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).