<p dir="ltr">Hi Stefan,<br>
Oh I'll look into this and Thanks a lot for the reply!</p>
<p dir="ltr">Indeed I will post a more elaborate description if I faced future problems.. I just wanted to confirm that there is no problem with it not compiling and the problem is not just with my setup.</p>
<p dir="ltr">BR,<br>
Nourhan</p>
<div class="gmail_quote">On Jan 5, 2016 9:12 AM, "Stefan Kalkowski" <<a href="mailto:stefan.kalkowski@...1...">stefan.kalkowski@...13.....</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi Nourhan,<br>
<br>
On 01/04/2016 01:33 PM, Nourhan Mohamed wrote:<br>
> Dear all,<br>
><br>
> I was trying to run l4linux as a server above Fiasco.OC using the<br>
> Features>Make Linux as Server from the l4linux menuconfig in foc_pbxa9<br>
> build folder. However, the compilation terminates with error because it<br>
> can't see some header file. Any ideas what might have gone wrong<br>
<br>
We never tried to build L4linux "as server". It is much likely that it<br>
will not compile, because we re-implement parts of the L4Re API to<br>
enable L4Linux on top of Genode. Of course, we do not re-implement the<br>
whole L4Re API, but only those parts that were needed by L4Linux using<br>
the current configuration. Therefore, if you select L4-specific parts of<br>
L4Linux that were never used before, it is likely that it does not<br>
compile anymore.<br>
<br>
>From my understanding the "L4Linux as a server" option is especially<br>
needed to run L4Linux as a device driver container, is that right? We do<br>
not support direct device access of l4linux either. This is no<br>
attractive approach for us, as it only enables device drivers on top of<br>
Fiasco.OC, but not on other kernels.<br>
Or maybe you have other reasons for enabling this option?<br>
<br>
I'm afraid you'll have to lend a hand if you really need to enable that<br>
option. You will have to create the headers that are missing and putting<br>
function dummies into them the compiler is complaining about. Lastly<br>
you've to look which function dummies are called that you have to fill<br>
with lives.<br>
<br>
Feel free to ask for help on this list during that work, but you will<br>
have to provide a bit more information next time, at least a log output<br>
including the error that you've seen. Otherwise, it is all about unravel<br>
mysteries.<br>
<br>
Regards<br>
Stefan<br>
<br>
><br>
> BR,<br>
> Nourhan<br>
><br>
><br>
><br>
> ------------------------------------------------------------------------------<br>
><br>
><br>
><br>
> _______________________________________________<br>
> genode-main mailing list<br>
> <a href="mailto:genode-main@lists.sourceforge.net">genode-main@...49....sourceforge.net</a><br>
> <a href="https://lists.sourceforge.net/lists/listinfo/genode-main" rel="noreferrer" 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/" rel="noreferrer" target="_blank">http://www.genode-labs.com/</a> · <a href="http://genode.org/" rel="noreferrer" target="_blank">http://genode.org/</a><br>
<br>
------------------------------------------------------------------------------<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" rel="noreferrer" target="_blank">https://lists.sourceforge.net/lists/listinfo/genode-main</a><br>
</blockquote></div>