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

[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!

--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main

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

[Josef Söntgen]

Hello Paul,

* Paul Dufresne  [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

-- 
Josef Söntgen
Genode Labs

http://www.genode-labs.com/ · http://genode.org/

--
___
genode-main mailing list
genode-main@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/genode-main