no this should work on 4GB sd cards too.
If not this is an accident which we will solve with next version.
The workaround is to use the Image from Raspberry Pi organisation:http://www.raspberrypi.org/downloads/
and install the debian package from the store download 'CODESYS_Control_for_Raspberry_PI.zip\codesyscontrol_arm_raspberry_V22.214.171.124.deb'
How to do it?
- flash the Image from raspberrypi.org to your 4GB SD
- under Windows copy codesyscontrol_arm_raspberry_V126.96.36.199.deb to the partition which you have access to after installing the image
- open ssh connection (putty - google it) and execute:
sudo dpkg -i /boot/codesyscontrol_arm_raspberry_V188.8.131.52.deb
you could remove after installing the plc the debian package from boot partition by
sudo rm /boot/codesyscontrol_arm_raspberry_V184.108.40.206.deb