I happen to have one of the Kasmin cards, but i doubt it would have any hopes of running the Helios OS. The link you posted does indeed have the OS files, but has instructions for it running under x86 platforms. My thinking is that it's more possible to run HeliOS under Atari emulation on the Amiga than trying to port it to a native one. I would like to have an Atari ST emulator that doesn't depend on the Amiga's chipset, so i could try this on my Draco, emulating something like the ATW
http://en.wikipedia.org/wiki/Atari_Transputer_WorkstationAlthough i still doubt it would work anyway...