> Subject: Re: Genode/NOVA+Multiple VMMs Seoul / VBox
> To: genode-main@lists.sourceforge.net
> From: alexander.boettcher@...52...1...
> Date: Mon, 7 Sep 2015 12:56:48 +0200
>
> Hello Roger,
>
> On 06.09.2015 20:21, Roger Ferreira wrote:
>
> > In the multiboot scheme, I tried to replace the bzImage with the newer TinyCore 6.3 vmlinuz together with the initrd core.gz.
> > But that didnīt work.
>
> On Qemu it doesn't work for me either. Natively (Intel Core i5, Lenovo
> X201) it does - at least Tinycore 6.3. boots up into a shell from where
> I can access the network. So, I just downloaded
> http://tinycorelinux.net/6.x/x86/release/Core-6.3.iso and copied out the
> vmlinuz and core.gz and used it together with 'munich'.
>
> > I create a raw disk using qemu-img, than I use dd to format it from a iso.
> > But now I donīt know how to configure that in the run script.
> > I tried in the <multiboot> section without success.
>
> I extended my branch and added to the setup a Seoul VM configuration,
> which boots from a raw disc image. I had no success with Tinycore,
> however some Genode scenarios booted natively (not in Qemu!). E.g. I
> build Genode/Fiasco run/printf and used this hybrid iso/usb image
> unmodified as raw disc with the Seoul VMM.
>
> In the Genode cli_monitor shell you now may also use "start seoul-img"
> beside "start seoul".
>
> > Any hint? How to find documentation regarding that?
>
> Not I'm aware of. For configuration of the Seoul VMM you may have a look
> into the files located in contrib/seoul-<hash>/src/app/seoul/model/*. At
> the end of all the models there is a short description how to configure
> the models - parameters etc. For the Genode port of Seoul we translate
> it in repos/ports/src/app/seoul/device_model_registry.cc to xml syntax,
> which you finally can add to the <config> node of the Genode Seoul
> process. This is done, e.g., in seoul.inc which generates the Genode
> configuration for Seoul and stores it as vm_seoul.cfg in your build
> directory.
>
> For repos/gems/run/seoul-wm-cli.run the Seoul VM configurations are
> fixed and created in rom_fs inlined - to make it hopefully easier to
> read/grasp by a user.
>
> Hope it clarifies a bit,
>
> Alex.
>
> > Thanks for your help and patiente.
> > Regards, Roger
> >> Subject: Re: Genode/NOVA+Multiple VMMs Seoul / VBox
> >> To: genode-main@...65...sourceforge.net
> >> From: alexander.boettcher@...1...
> >> Date: Sat, 5 Sep 2015 22:25:44 +0200
> >>
> >> Hello,
> >>
> >> On 04.09.2015 15:51, Roger Ferreira wrote:
> >>> I am not able to capture any log.
> >>
> >> I fear without any log it will become hard to impossible to get it running.
> >>
> >>> I am using a normal x86 desktop computer.
> >>
> >> You should, for example, obtain a PCI serial card and attach it - if
> >> your machine hasn't already a serial connector on-board or something
> >> like Intel AMT SOL (SerialOverLAN).
> >>
> >>> Regarding the seoul multiboot scheme, I saw it does not allow a ISO, correct?
> >>
> >> Yes.
> >>
> >>> It seems to expect a bootloader (munich), them the bzImage, an some aditional g
> >>> Actually I have prepared a custom remasterized version of TinyCore with some specific libs / apps.
> >>> It works alone.
> >>> But when I tried to port to seoul, sitill using munich, I donīt have a bzImage.
> >>> I have a vmlinuz, core.gz and my own stuff as TCZ extensions.
> >>> The vmlinuz I customize some files.
> >>
> >> For Seoul you have two ways to boot things - either boot a multiboot
> >> compliant kernel, which Linux is not, or boot a VM from a raw disk image.
> >>
> >> Munich (as a multiboot kernel) is a small helper to bootstrap a Linux
> >> kernel. Munich expects as first multiboot image the Linux kernel and the
> >> second multiboot image has to be the initial ram disk. (see
> >> http://os.inf.tu-dresden.de/~kauer/oslo/README for pointers to munich)
> >>
> >> For the Seoul/Tinycore demo we had to manually squash the core.gz and
> >> all the Firefox browser related files into a initial ram disk
> >> (tc-browser.gz). I fear we didn't documented it well. As far as I
> >> remember it was no fun. Could be - because we don't create for Seoul VMs
> >> regularly. So, we have no ready to use work-flow we could share. Setting
> >> up a VM with Virtualbox is - in that regard - much more user-friendly.
> >>
> >> The other option of course is to install your intended VM setup on a
> >> disk - or in a VM on a virtual disk, e.g. use Virtualbox on your
> >> Linux/Windows. Finally use the raw disk image for Seoul - there are ways
> >> to convert a vdi/vmdk image into a raw disk image. A hybrid iso/usb
> >> bootable image should also work in principal as raw disk image - however
> >> never tried.
> >>
> >> Just a note - you may need several iterations of Linux kernel
> >> configuration tweaking and rebuilds until you may get it running in
> >> Seoul. Seoul was/is more or less a research VMM and does not support
> >> everything out-of-a-box what a standard Linux distribution kernel
> >> enables/expects from the hardware.
> >>
> >> Regards,
> >>
> >> Alex.
> >>
> >> ------------------------------------------------------------------------------
> >> _______________________________________________
> >> genode-main mailing list
> >> genode-main@lists.sourceforge.net
> >> https://lists.sourceforge.net/lists/listinfo/genode-main
> >
> >
> >
> >
> > ------------------------------------------------------------------------------
> >
> >
> >
> > _______________________________________________
> > genode-main mailing list
> > genode-main@...268...sts.sourceforge.net
> > https://lists.sourceforge.net/lists/listinfo/genode-main
> >
>
>
> ------------------------------------------------------------------------------
> _______________________________________________
> genode-main mailing list
> genode-main@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main