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

Paul Dufresne dufresnep at ...9...
Sun Sep 18 09:58:05 CEST 2016

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?

More information about the users mailing list