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 [email protected] https://lists.sourceforge.net/lists/listinfo/genode-main
