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

Kosyrev Serge skosyrev at ptsecurity.com
Tue Oct 25 13:14:54 CEST 2016

Good day!

At Wed Mar 18 10:31:09 CET 2015 Gerd Zellweger wrote:
> 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 last paper mentions introducing two capabilities, VMSETUP and VMENTER,
but I don't see them in capabilities/caps.hl, which I get as that work
wasn't merged into mainline Barrelfish.

Are there plans to do that?

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

с уважениeм / respectfully,
Косырев Сергей
“Most deadly errors arise from obsolete assumptions.”
  -- Frank Herbert, Children of Dune

More information about the Barrelfish-users mailing list