Writing sel4.iso on a CD/DVD vs. on an USB key

[Paul Dufresne]

At first I had burned sel4.iso on a CD, but no computer was able to
boot from it.

Then rereading the instructions, I saw it was asked to DD it to an USB
key, which I did,
and was getting much better results: a grub menu that disappears so
fast that it only goes
to loading the first module, then the boot module.

I kind of know that sectors on CD are supposed to be 2k in size, and
0.5k on most other
mediums, like USB key normally... I think.

I know Linux distribution can often be put on both DVD and USB keys
without thinking much.

Why (is?) Genode would be different?

------------------------------------------------------------------------------

[Josef Söntgen]

Hello Paul,

Post by Paul Dufresne
At first I had burned sel4.iso on a CD, but no computer was able to
boot from it.

The sel4.iso works fine for me when burned onto a CD-RW. If possible
please try another disc.

Post by Paul Dufresne
I know Linux distribution can often be put on both DVD and USB keys
without thinking much.
Why (is?) Genode would be different?

I do not know which methods Linux distributions use to make their ISO
images useable on USB flash drives but I assume it might be similar to
how we do it. Basically, we create a normal ISO image with a isolinux
bootloader and use isohybrid afterwards so it can also be used on USB
flash drives [1].

[1] https://raw.githubusercontent.com/genodelabs/genode/master/tool/create_iso

Regards,
Josef

[Paul Dufresne]

Just burn a new CD.
New CD works as fine as the USB now.

That is my monitor generate a flying window:
"Not Optimum Mode
Recommended Mode: 1280X1024 60Hz"

Well, that's the price for using xfburn (that does not check burn image).
I have now install and used Brasero.

At least I learn something about isobybrid, thanks!

------------------------------------------------------------------------------