<p>Praveen,<br>
You also need only one instance of linux.</p>
<div class="gmail_quote">On Sep 22, 2014 8:39 PM, "Praveen B" <<a href="mailto:srinivasprv@...9...">srinivasprv@...9...</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Norman,<div>Thank you for the reply.</div><div><div><br></div><div class="gmail_extra"><br><div class="gmail_quote">On Mon, Sep 22, 2014 at 3:25 PM, Stefan Kalkowski <span dir="ltr"><<a href="mailto:stefan.kalkowski@...1..." target="_blank">stefan.kalkowski@...1...</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">Hi,<br>
<span><br>
On 09/22/2014 08:26 AM, Praveen B wrote:<br>
> Hi<br>
><br>
> We are able to run Genode-14.08 on i.MX6 board.<br>
> Now I am planning to add support for virtualization for Genode on i.MX6.<br>
><br>
> As the processor is Cortex-A9, it does not have virtualization<br>
> extensions. So I am planning to implement a hypervisor to run<br>
> para-virtualized linux, similar to the one proposed in the following paper,<br>
> <a href="http://systems.cs.columbia.edu/archive/pub/2014/03/kvm-arm-the-design-and-implementation-of-the-linux-arm-hypervisor/" target="_blank">http://systems.cs.columbia.edu/archive/pub/2014/03/kvm-arm-the-design-and-implementation-of-the-linux-arm-hypervisor/</a><br>
<br>
</span>The paper you're refering to doesn't use a para-virtualization approach,<br>
but uses hardware assisted virtualization.<br></blockquote><div><br></div>I'm sorry. That was wrong link. <div>The paper is, <a href="http://systems.cs.columbia.edu/archive/pub/2010/07/kvm-for-arm/" target="_blank">http://systems.cs.columbia.edu/archive/pub/2010/07/kvm-for-arm/</a> </div><div> <br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">
<span><br>
><br>
> I am not sure that would work for ARMv7 as they have only tested for<br>
> ARMv5. Can you suggest any other para-virtualization solutions preferred<br>
> for the implementation of Genode. I saw L4Linux but it is a port of<br>
> linux to L4Re and not to the kernel itself. On the other hand,<br>
> SierraVisor and Xen  are bare metal hypervisors.<br>
<br>
</span>You're right vanilla L4Linux is tied to L4Re, but we've a port of<br>
L4Linux that runs on Genode, but on Fiasco.OC only. Alternatively, if<br>
one instance of Linux is enough for your scenario, you might use the<br>
normal world of TrustZone to ease up para-virtualization, as you don't<br>
have to implement CPU virtualization on your own, but other devices<br>
only. The third alternative of course is to para-virtualize Linux from<br>
scratch.<br>
<span><br></span></blockquote><div><br></div><div>We will use the first option, that is, L4Linux with Genode on Fiasco.OC.</div><div>Thank you</div><div><br></div><div>Regards</div><div>Praveen<br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex"><span>
><br>
> The road map for Genode 14.11 says virtualization support for Cortex-A7.<br>
> I assume you will be using virtualization extensions and not a<br>
> para-virtualization solution.<br>
<br>
</span>Yes, we're planning to support hardware-assisted virtualization,<br>
although it should be called Cortex-A15 instead of Cortex-A7.<br>
Nevertheless, the difference should be negligible.<br>
<span><br>
><br>
> Can you suggest which is the best place to start. Should I implement a<br>
> VMM similar to tz_vmm server or should it be implemented in base-hw as<br>
> VMM should be in supevisor mode and not user mode.<br>
<br>
</span>If you're planning to build a para-virtualized solution on your own, I<br>
would strongly recommend to follow the spirit of Genode's microkernel<br>
based architecture. To minimize the trusted computing base (TCB) of all<br>
applications, the kernel shouldn't include code that is used just by a<br>
corner-case (para-virtualization) application. Instead use the scheme of<br>
having the virtual machine monitor within the user-mode. Thereby, the<br>
VMM might be linked together with the para-virtualized VM, like it is<br>
done in the L4Linux approach, or you change to a disjunct VMM task<br>
whenever the VM traps.<br>
<br>
Regards<br>
Stefan<br>
<span><br>
><br>
> Regards<br>
> Praveen Srinivas<br>
> M.Tech 2nd Year,<br>
> CSE, IIT Madras<br>
><br>
><br>
</span>> ------------------------------------------------------------------------------<br>
> Meet PCI DSS 3.0 Compliance Requirements with EventLog Analyzer<br>
> Achieve PCI DSS 3.0 Compliant Status with Out-of-the-box PCI DSS Reports<br>
> Are you Audit-Ready for PCI DSS 3.0 Compliance? Download White paper<br>
> Comply to PCI DSS 3.0 Requirement 10 and 11.5 with EventLog Analyzer<br>
> <a href="http://pubads.g.doubleclick.net/gampad/clk?id=154622311&iu=/4140/ostg.clktrk" target="_blank">http://pubads.g.doubleclick.net/gampad/clk?id=154622311&iu=/4140/ostg.clktrk</a><br>
><br>
><br>
><br>
> _______________________________________________<br>
> genode-main mailing list<br>
> <a href="mailto:genode-main@lists.sourceforge.net" target="_blank">genode-main@lists.sourceforge.net</a><br>
> <a href="https://lists.sourceforge.net/lists/listinfo/genode-main" target="_blank">https://lists.sourceforge.net/lists/listinfo/genode-main</a><br>
><br>
<br>
--<br>
Stefan Kalkowski<br>
Genode Labs<br>
<br>
<a href="http://www.genode-labs.com/" target="_blank">http://www.genode-labs.com/</a> · <a href="http://genode.org/" target="_blank">http://genode.org/</a><br>
<br>
------------------------------------------------------------------------------<br>
Meet PCI DSS 3.0 Compliance Requirements with EventLog Analyzer<br>
Achieve PCI DSS 3.0 Compliant Status with Out-of-the-box PCI DSS Reports<br>
Are you Audit-Ready for PCI DSS 3.0 Compliance? Download White paper<br>
Comply to PCI DSS 3.0 Requirement 10 and 11.5 with EventLog Analyzer<br>
<a href="http://pubads.g.doubleclick.net/gampad/clk?id=154622311&iu=/4140/ostg.clktrk" target="_blank">http://pubads.g.doubleclick.net/gampad/clk?id=154622311&iu=/4140/ostg.clktrk</a><br>
_______________________________________________<br>
genode-main mailing list<br>
<a href="mailto:genode-main@lists.sourceforge.net" target="_blank">genode-main@lists.sourceforge.net</a><br>
<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" target="_blank">https://lists.sourceforge.net/lists/listinfo/genode-main</a><br>
</blockquote></div><br></div></div></div>
<br>------------------------------------------------------------------------------<br>
Meet PCI DSS 3.0 Compliance Requirements with EventLog Analyzer<br>
Achieve PCI DSS 3.0 Compliant Status with Out-of-the-box PCI DSS Reports<br>
Are you Audit-Ready for PCI DSS 3.0 Compliance? Download White paper<br>
Comply to PCI DSS 3.0 Requirement 10 and 11.5 with EventLog Analyzer<br>
<a href="http://pubads.g.doubleclick.net/gampad/clk?id=154622311&iu=/4140/ostg.clktrk" target="_blank">http://pubads.g.doubleclick.net/gampad/clk?id=154622311&iu=/4140/ostg.clktrk</a><br>_______________________________________________<br>
genode-main mailing list<br>
<a href="mailto:genode-main@lists.sourceforge.net">genode-main@...12...ceforge.net</a><br>
<a href="https://lists.sourceforge.net/lists/listinfo/genode-main" target="_blank">https://lists.sourceforge.net/lists/listinfo/genode-main</a><br>
<br></blockquote></div>