VDISK for Linux swap is the best solution.