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@lists.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@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/genode-main