That's great
- curious, 64 bit machines usually work with 32 bit OSs.
- note, when burning an iso, it is important to use a program which allows you to change the write speed to something slow.
I usually suggest a
free software program like
InfraRecorder.
ISO Recorder license depends on which edition you have. At least one version seems to be
open source, at least in principle.
v1. allows redistribution of unmodified binaries only.
v2. seems to allow unrestricted redistribution of source code - no clear way to get the source, perhaps you have to contact the owner?
v3. has no license statement - implying "all right reserved" - maybe the licence is in the zip?
createCD. has a non-commercial (personal use) license.