Hi,
I tried to compile and install Fiasco-ux and L4Env. It seems that the
l4sys ipc functions for the x86 architecture have additional _i386_ part
in their name. E.g., l4_i386_ipc_call instead of l4_ipc_call. The result
is that, for instance, I can't compile the hello server without renaming
the functions. Is that intentional or did I messed up the instalation?
Thanks for any help on that,
Rafal