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@...52...495...labs.com>:
>
>> 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