DragonFlyBSD

Is there any way at all to get a coredump out as well? I have free
space at the end of the disk, so I can install some other bsd-ish system
in there, probably fbsd. Would the CD kernel be able to dump into
an fbsd partitioned area? Pointers much appreciated.

Hi Kiril,

Do you have means to install DFBSD into another machine? That way you could
build a new ISO image without 'device ohci' to see if that helps.

Another option would be to modify ISO image contents before writing it to CD,
replacing the kernel in the ISO with a kernel without ohci. I can provide it if
you are able to do the rest of the process.

Cheers,
Antonio Huete