Genode/NOVA+Multiple VMMs Seoul / VBox

Thu Sep 10 21:55:57 CEST 2015

Hi Alex,

First of all thanks for your time and patience.

I struggled with inumerous attempts.

First I checked how you built the tc-browser.gz.

Instead of cpio / gunzip, you did a disk image which I could reproduce with dd and mkfs.ext2.

But I kept using cpio / gunzip and advdef in the end to build the final gz.

Finally I managed to produce a "working version" with qemu-TC only, and then with qemu-Genode/Seoul-TC.

What I noticed it that there must be a SIZE limit for the INITRD file. 

Initially it was as big as 256 M, which then I reduced close to 100 M.

But only when I got close to 46 M, like tc-browser.tc, it worked.

I don´t if this limit depends on qemu, could not find further info.

Unfortunatelly, I don´t know yet why, but TC does not do the login. It ends with login prompt.

I tried different boot codes, checked the INITRD files, folders, permissions, etc.

With your version of bzImage / tc-browser.gz works nicely!

------

I understood how seoul-wm-cli.run is configured, with the inlined representing the vm_seoul.cfg .

I will try to see later the new setup you created.

------

What I realized so far, is that this setup with Seoul-Customized TC is more complicated than I expected.

I will try to go back with the VirtualBox examples and see if I can do with the CLI monitor the same,
replacing Seoul with VBox.

I still need to have some GUI to Manage (view / control) the VMs.

For me it is much easier to have a ISO as VM.

Regards,

        Roger

> Subject: Re: Genode/NOVA+Multiple VMMs Seoul / VBox
> To: genode-main at lists.sourceforge.net
> From: alexander.boettcher at ...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 at lists.sourceforge.net
> >> From: alexander.boettcher at ...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 at lists.sourceforge.net
> >> https://lists.sourceforge.net/lists/listinfo/genode-main
> >  		 	   		  
> > 
> > 
> > 
> > ------------------------------------------------------------------------------
> > 
> > 
> > 
> > _______________________________________________
> > genode-main mailing list
> > genode-main at lists.sourceforge.net
> > https://lists.sourceforge.net/lists/listinfo/genode-main
> > 
> 
> 
> ------------------------------------------------------------------------------
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150910/10ded60f/attachment.html>