sudo ./boot-efi TinyCore-current.iso