Beginner : VMM with genode

Thu Feb 15 15:08:30 CET 2018

i'm using an ubuntu virtual machine, and booted through dual boot genode on
a nova kernel , the interface that shows is very basic and only has
launchpad , i want to use a virtual machine monitor on top of genode to run
virtual machines , i copied the files ob repos/ports/run/*run  on the /
folder and the following changes were made
root at ...115...:/# ls
bin           initrd.img.old  root                   sys
boot          iso             run                    tmp
cdrom         lib             sbin                   tz_vmm.run
dev           lib64           seoul-auto.run         usr
etc           lost+found      seoul-disc.run         var
genode-17.11  media           seoul-fancy.run        vmlinuz
home          mnt             seoul-genode.run       vmlinuz.old
hypervisor    NRE             seoul-kernelbuild.run
image.elf.gz  opt             seoul-net.run
initrd.img    proc            src


root at ...115...:/# cat /etc/grub.d/49_genode1
#!/bin/sh -e
echo "Genode at ...153..."
cat << EOF
menuentry "Genode at ...153..." {
insmod ext2
multiboot /hypervisor
module /seoul-auto.run
module /seoul-disc.run
module /seoul-fancy.run
module /seoul-genode.run
module /seoul-kernelbuild.run
module /seoul-net.run
#menuentry 'Genode on NOVA' {
# insmod multiboot2
# insmod gzio
# multiboot2 /boot/bender
# module2 /hypervisor hypervisor iommu serial novpid novga
 module /image.elf.gz image.elf
}
root at ...115...:/#


but once i try to boot genode1nova , i can't launch it
thank you

2018-02-10 9:23 GMT+00:00 Alexander Boettcher <
alexander.boettcher at ...1...>:

> Hello,
>
> first, please, send to the mailing list.
>
> If you look into the repos/os/run/vmm.run file there are two asserts in
> the beginning of the file. Namely you need the base-hw kernel and the
> Arndale ARM board to run this scenario. If you don't have such a board
> next to you, it is of no use for you.
>
> The VMMs we support on x86 are Seoul and Virtualbox. Both got ported to
> Genode, thats why they are located in the port repository. So, if you
> look into
>
> repos/ports/run/*.run
>
> you will find some seoul*.run scenarios and virtualbox.run.
>
> Again, send your questions to the mailing list, since others may also
> benefit from the conversation.
>
> Cheers.
>
>
> On 09.02.2018 12:09, jony jony wrote:
> > Hello, i'm sorry for the late answer ,i gave up for a while ,
> > I managed to run genode using the demo on a virtual machine , would the
> vmm
> > be able to run on the virtual machine too ? , i tried it on a nested vm
> and
> > a message "require hw" appears , if its possible to run it on the virtual
> > machine , can you please guide me through the steps i need to follow .
> > here's the content of the run folder
> > run# ls
> > ahci_bench.run             init.run              rtc.run
> > ahci_blk.run               init_smp.run          sd_card_bench.run
> > audio_out_click.run        input_filter.run      sd_card.run
> > blk_cache.run              input.run             signal.run
> > blk.run                    kdb_uart_drv.run      tar_rom.run
> > bomb.run                   loader.run            terminal_crosslink.run
> > clipboard.run              lx_block.run          thread_join.run
> > cpufreq.run                mixer.run             timed_semaphore.run
> > cpu_quota.run              nic_loopback.run      timeout.run
> > demo.run                   panda_uart4_echo.run  timer_accuracy.run
> > dynamic_config_loader.run  part_blk_gpt.run      timer.run
> > dynamic_config.run         part_blk.inc          trace.run
> > dynamic_config_slave.run   part_blk.run          tz_vmm.run
> > fault_detection.run        pci.run               uart.run
> > fb_bench.run               pointer.run           usb_block.run
> > framebuffer.run            ram_fs_chunk.run      vfs_stress_fs.run
> > fs_log.run                 report_rom.run        vfs_stress_ram.run
> > fs_report.run              resource_request.run  vmm.run
> > fs_rom_update.run          resource_yield.run    weak_ptr.run
> > gpio_drv.run               rom_blk.run           xml_generator.run
> > gpio_led.run               rom_filter.run        xml_node.run
> > gpio_signal.run            rom_to_file.run
> >
> > thank you
> >
> > 2018-01-15 19:50 GMT+00:00 Alexander Boettcher <
> > alexander.boettcher at ...1...>:
> >
> >> Hello,
> >>
> >> On 11.01.2018 15:00, jony jony wrote:
> >>> I'm new at genode , i just booted genode 17.11 with a nova kernel based
> >> on
> >>> the demo from the hard disk,  i was wondering how can i run a seoul or
> >> xbox
> >>> vmm on top of genode since genode only has the launchpad in the demo
> and
> >> i
> >>> don't think i can do much with that. I want to be able to use genode
> >> freely
> >>
> >> please look for *.run files, which build and configure a scenario (as
> >> the demo.run file you already used). You will find e.g. virtualbox.run
> >> and some seoul*.run files. They may serve as starting point to
> >> experiment with.
> >>
> >> Please also consult the Genode Foundations book, which describes the
> >> framework and also run mechanism in more detail.
> >>
> >> Cheers,
> >>
> >> --
> >> Alexander Boettcher
> >> Genode Labs
> >>
> >> http://www.genode-labs.com - http://www.genode.org
> >>
> >> Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
> >> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
> >>
> >
>
> --
> Alexander Boettcher
> Genode Labs
>
> http://www.genode-labs.com - http://www.genode.org
>
> Genode Labs GmbH - Amtsgericht Dresden - HRB 28424 - Sitz Dresden
> Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20180215/97893a47/attachment.html>