[Beginner] Running L4Linux as a Server above Fiasco.OC

[Nourhan Mohamed]

Dear all,

I was trying to run l4linux as a server above Fiasco.OC using the
Features>Make Linux as Server from the l4linux menuconfig in foc_pbxa9
build folder. However, the compilation terminates with error because it
can't see some header file. Any ideas what might have gone wrong

BR,
Nourhan

[Stefan Kalkowski]

Hi Nourhan,

Post by Nourhan Mohamed
Dear all,
I was trying to run l4linux as a server above Fiasco.OC using the
Features>Make Linux as Server from the l4linux menuconfig in foc_pbxa9
build folder. However, the compilation terminates with error because it
can't see some header file. Any ideas what might have gone wrong

We never tried to build L4linux "as server". It is much likely that it
will not compile, because we re-implement parts of the L4Re API to
enable L4Linux on top of Genode. Of course, we do not re-implement the
whole L4Re API, but only those parts that were needed by L4Linux using
the current configuration. Therefore, if you select L4-specific parts of
L4Linux that were never used before, it is likely that it does not
compile anymore.

Post by Nourhan Mohamed
From my understanding the "L4Linux as a server" option is especially

needed to run L4Linux as a device driver container, is that right? We do
not support direct device access of l4linux either. This is no
attractive approach for us, as it only enables device drivers on top of
Fiasco.OC, but not on other kernels.
Or maybe you have other reasons for enabling this option?

I'm afraid you'll have to lend a hand if you really need to enable that
option. You will have to create the headers that are missing and putting
function dummies into them the compiler is complaining about. Lastly
you've to look which function dummies are called that you have to fill
with lives.

Feel free to ask for help on this list during that work, but you will
have to provide a bit more information next time, at least a log output
including the error that you've seen. Otherwise, it is all about unravel
mysteries.

Regards
Stefan

Post by Nourhan Mohamed
BR,
Nourhan
------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

[Nourhan Mohamed]

Hi Stefan,
Oh I'll look into this and Thanks a lot for the reply!

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.

BR,
Nourhan

Post by Stefan Kalkowski
Hi Nourhan,

Post by Nourhan Mohamed
Dear all,
I was trying to run l4linux as a server above Fiasco.OC using the
Features>Make Linux as Server from the l4linux menuconfig in foc_pbxa9
build folder. However, the compilation terminates with error because it
can't see some header file. Any ideas what might have gone wrong

We never tried to build L4linux "as server". It is much likely that it
will not compile, because we re-implement parts of the L4Re API to
enable L4Linux on top of Genode. Of course, we do not re-implement the
whole L4Re API, but only those parts that were needed by L4Linux using
the current configuration. Therefore, if you select L4-specific parts of
L4Linux that were never used before, it is likely that it does not
compile anymore.

Post by Nourhan Mohamed
From my understanding the "L4Linux as a server" option is especially

needed to run L4Linux as a device driver container, is that right? We do
not support direct device access of l4linux either. This is no
attractive approach for us, as it only enables device drivers on top of
Fiasco.OC, but not on other kernels.
Or maybe you have other reasons for enabling this option?
I'm afraid you'll have to lend a hand if you really need to enable that
option. You will have to create the headers that are missing and putting
function dummies into them the compiler is complaining about. Lastly
you've to look which function dummies are called that you have to fill
with lives.
Feel free to ask for help on this list during that work, but you will
have to provide a bit more information next time, at least a log output
including the error that you've seen. Otherwise, it is all about unravel
mysteries.
Regards
Stefan

Post by Nourhan Mohamed
BR,
Nourhan

------------------------------------------------------------------------------

Post by Nourhan Mohamed
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main

--
Stefan Kalkowski
Genode Labs
http://www.genode-labs.com/ · http://genode.org/
------------------------------------------------------------------------------
_______________________________________________
genode-main mailing list
https://lists.sourceforge.net/lists/listinfo/genode-main