<div dir="ltr">Hi Christopher,<div><br></div><div>First of all, thank you for your replay, but could you send me a bit of more information about all this questions taking into account that I'm going to work with the Zynq MPSoC platform, with the ZCU102 board?</div><div><br></div><div>Thanks anyway,</div><div>Pello</div></div><div class="gmail_extra"><br><div class="gmail_quote">2017-06-20 3:07 GMT+02:00 Christopher Clark <span dir="ltr"><<a href="mailto:christopher.w.clark@gmail.com" target="_blank">christopher.w.clark@gmail.com</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div><span class="">On Sun, Jun 18, 2017 at 11:58 PM, Pello Heriz <<a href="mailto:pello.heriz@alumni.mondragon.edu" target="_blank">pello.heriz@alumni.mondragon.<wbr>edu</a>> wrote:<br>><br>>   I'm very interested in knowing how to asign especific HW to each one of the running OS-s if I'm working with Xen hypervisor. Is it possible? Where do I need to specify this?<br><br></span>It is possible. The method of doing it depends on which type of HW you need to assign.<br><br>Some options are configured on the Xen or dom0 kernel command lines in your bootloader config file (eg. grub.cfg  or syslinux.cfg or ..).<br><br>Other options, for other hardware, can be configured in xl.cfg for a VM, and xl.conf for the host:<br><a href="https://wiki.xenproject.org/wiki/Xen_Man_Pages" target="_blank">https://wiki.xenproject.org/<wbr>wiki/Xen_Man_Pages</a><br><br>You may find more help available on the xen-users mailing list:<br><a href="https://lists.xenproject.org/mailman/listinfo/xen-users" target="_blank">https://lists.xenproject.org/<wbr>mailman/listinfo/xen-users</a><span class=""><br><br><br>>   On the other hand, I also would like to know, how would the different OS-s running under Xen hypervisor communicate between them. I.e.: an application running over Linux (i.e.: Docker) and FreeRTOS.<br><br></span>The simplest method may be to create virtual network interfaces in each guest OS, configure networking inside each, and then use that (eg. ssh or something else over TCP/IP) for communication between them.<br><br></div>If FreeRTOS doesn't have support for networking on Xen, then you may have to look at using the Grant Tables and Event channels, or xenstore, to communicate.<br><div><span class=""><br><br>>   Finally, it would be interesting for me too, to know how to debug the behaviour of an OS running under Xen (i.e.: FreeRTOS) in the real MPSoC board.<br><br></span>There are instructions on this page:<br><a href="https://github.com/GaloisInc/FreeRTOS-Xen" target="_blank">https://github.com/GaloisInc/<wbr>FreeRTOS-Xen</a><br><br>that indicate how you can enable printk within FreeRTOS to output to the xen console, which you should be able to access from dom0. That will allow you to instrument your FreeRTOS kernel code to output the debugging data that you want.<br><br></div><div>You can also search the archives of xen-devel for references to FreeRTOS where Xen developers have provided some feedback on the code in that port.<br></div><div><br>Good luck,<br><br>Christopher<br><br>--<br></div><div><a href="http://openxt.org/" target="_blank">http://openxt.org/</a><br></div><span class=""><div><br><br>>   Any answer would be helpful,<br>><br>>   Thanks,<br>>   Pello<br><br><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
<br></blockquote></div><br></div></div></span></div>
</blockquote></div><br></div>