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?
Hello Paul,
* Paul Dufresne <dufresnep@...9...> [2016-09-18 03:58:05 -0400]:
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.
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
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!
-
Josef Söntgen -
Paul Dufresne