ISO for t2linux fedora. To install, use Bootcamp Installer to partition disks, then run the ISO. Uses the https://github.com/sharpenedblade/t2linux-fedora-kernel/ kernel.