seL4: does X server require Linux; hardware for VMs

[Nobody III]

I would suspect that this will work with your processor, but features like
VT-x are specific to the processor model, so you should look up your
processor's specs. Also, Firefox doesn't run natively on Genode yet, so you
would have to run it in a Linux VM, which should also be running an X
server and a window manager.

On Thu, Sep 3, 2015 at 12:58 PM, John Lee <jjl at ...348...> wrote:

> Hi
>
> I'd like to try running Genode on seL4.  I wasn't expecting this to get
> into a release this soon so I'm very pleased to see it.
>
> Two questions, one re software, one re hardware:
>
> Software: For applications like firefox I read that it's currently
> necessary to run an X server.  Does that X instance (and firefox) need to
> run on a Linux VM?
>
> Hardware: I read on the seL4 FAQ that to "run Linux on top of SeL4", I
> need:
>
> 1. Intel VT-x with EPT (standard by now I guess?)
> 2. an HPET [1] that supports MSI delivery [2]
>
>
> Re 2.: is all this integrated in Haswell processors?  If yes, does Haswell
> support this?  If no, does anybody know how to verify a motherboard
> supports it?
>
>
> [1] https://en.wikipedia.org/wiki/High_Precision_Event_Timer
> [2] https://en.wikipedia.org/wiki/Message_Signaled_Interrupts
>
>
> John
>
>
> ------------------------------------------------------------------------------
> Monitor Your Dynamic Infrastructure at Any Scale With Datadog!
> Get real-time metrics from all of your servers, apps and tools
> in one place.
> SourceForge users - Click here to start your Free Trial of Datadog now!
> http://pubads.g.doubleclick.net/gampad/clk?id=241902991&iu=/4140
> _______________________________________________
> genode-main mailing list
> genode-main at lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/genode-main
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.genode.org/pipermail/users/attachments/20150903/1acf87f5/attachment.html>