Is there a way to boot Tiny Core from .iso on Ventoy, perhaps? Is there any configuration to be applied manually in GRUB command line? I can see:
No bootfile found for UEFI! Maybe the image does not support x64 UEFI
instead of Tiny Core boot options when trying to boot.
Did you read the installation instructions from the wiki?
https://wiki.tinycorelinux.net/doku.php?id=wiki:install_usbI just finished a tinycore install from scratch.
Recommended method is using a cd and bringing the iso to that but I donot have a cd player.
The manual way is to create a bootable usb with a bootloader. I used syslinux but grub should also work.
Than indeed download de tinycore iso, but donot simply put it on the cd.
Instead:
Put the core and vmlinuz on the cd and edit the syslinux.conf file using the conf file in tce/boot/syslinux as an inspiration.
For me it was a bunch of sweating, especially to get the bootloader on a usb because I did that from an outdated 2008 Linux distribution.
When however you have a usb with functioning bootloader the wiki contains enough information to get things working.
For sure also read the core concept before you start. Tinycore is not for everybody.
http://tinycorelinux.net/concepts.html