[Barrelfish-users] How to run Linux applications over barrelfish using VMM

[Gerd Zellweger]

Hi Utsav,

I suggest you start by looking at the following documents from the 
barrelfish website:
http://www.barrelfish.org/sandrini-masters-vmkit.pdf
http://www.barrelfish.org/lindegger-humbel-meier-pci-virtualization.pdf
http://www.barrelfish.org/ma-humbell-final.pdf

The relevant bits of code for the VMM in barrelfish you can find in 
kernel/arch/x86_64/vmkit.c
usr/vmkitmon/*

There is also an automated test in tools/harness/tests/vmkit.py that 
should give you some hints on how-to run and configure barrelfish to 
start the VMM.
Note that the vmkit in its current form provides only limited 
virtualization for x86 hardware (for example no APIC support as far as I 
remember).

Hope this helps,
Gerd


On 2015-03-16 21:54, Utsav Popli wrote:
> Hello All, 
> How to run linux applications over barrelfish using VMM ?
> Can you provide steps or any documentation for how to run linux
> applications on top of barrelfish using VMM?
> Thank you 
> 
> Regards
> Utsav Popli
> _______________________________________________
> Barrelfish-users mailing list
> Barrelfish-users at lists.inf.ethz.ch
> https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users