Cross-compiling L4Re for MIPS32

Adam Lackorzynski adam at
Wed Jun 22 00:24:59 CEST 2016

On Tue Jun 21, 2016 at 00:42:38 +0200, Paul Boddie wrote:
> On Monday 20. June 2016 23.01.51 Adam Lackorzynski wrote:
> > On Thu Jun 16, 2016 at 00:10:50 +0200, Paul Boddie wrote:
> > > 
> > > make O=mybuild config
> > 
> > Do you have linux-libc-dev:amd64 installed? If not, please do.
> Is this necessary if I'm using the i386 host architecture in Debian? I think I 
> posted the following earlier:

The build system is building host tooling for both 32 and 64 bit
binaries as x86-based host systems will run both variants quite happily
nowadays. The goal was to allow using (older) 32bit-only cross compilers
on 64bit systems (and vice versa). I'm trying to get rid of this now.
In the meantime you could install the package I recommend, or
alternatively, edit l4/tool/gendep/Makefile and remove $(LIB64) from the
LIB assignment.

Adam                 adam at

More information about the l4-hackers mailing list