On Wed Mar 29, 2017 at 23:14:11 +0200, Mateusz Czaplinski wrote:
> On Sun, Mar 26, 2017 at 11:51 PM, Adam Lackorzynski <
> a...@os.inf.tu-dresden.de> wrote:
> > You need to build l4 for L4Linux as L4Linux also requires L4Re.
> >
>
> Hm; so I'm still not exactly clear about how this is structured
Hi Manolis,
On Thu Mar 30, 2017 at 15:08:00 +0300, Manolis Ragkousis wrote:
> I am trying to enable sd card support on my zedboard running l4linux and
> I get this error:
>
> ERROR: "__raw_writesl" [drivers/mmc/host/mmci.ko] undefined!
> ERROR: "__raw_readsl" [drivers/mmc/host/mmci.ko] undefined!
On Sun, Mar 26, 2017 at 11:51 PM, Adam Lackorzynski <
a...@os.inf.tu-dresden.de> wrote:
> For booting, you'll need a bit of 32bit code, thus the multilib parts
> are indeed required.
>
Thanks for info, nice to learn that!
> You need to build l4 for L4Linux as L4Linux also requires L4Re.
>
Hm;
On Thu Mar 30, 2017 at 14:42:36 +, Marc CHALAND wrote:
> I did some tests and I'm stuck on bootstrap. I assume that omap (a15) and
> imx7 (a7) have the same switch_to_hyp mechanism.
No, they haven't. Those switching routines are there to switch from a
lower-priv level to a higher one, i.e. mu
Le lun. 27 mars 2017 à 15:59, Christian Ludwig
a écrit :
I guess the question was more about running umodified Linux in a VM on top
of
Fiasco. In this scenario, Fiasco acts as the hypervisor only. There is the
'uvmm' package that implements a virtual machine monitor, which sets up a
hardware-lik
Hello everyone,
I am trying to enable sd card support on my zedboard running l4linux and
I get this error:
ERROR: "__raw_writesl" [drivers/mmc/host/mmci.ko] undefined!
ERROR: "__raw_readsl" [drivers/mmc/host/mmci.ko] undefined!
make[2]: *** [../scripts/Makefile.modpost:91: __modpost] Error 1
make