L4 for amd64

Adam Lackorzynski adam at os.inf.tu-dresden.de
Tue Jul 5 14:23:24 CEST 2011

On Tue Jul 05, 2011 at 13:36:50 +0200, Daniel Müller wrote:
> On 05.07.2011 13:22, Adam Lackorzynski wrote:
> >> So why is bootstrap not built as 64 bit binary?
> > Because common bootloaders load 32-bit binaries only. Switching to 64bit
> > mode has be done afterwards. Anyway, bootstrap is successfully running
> > and complains about the fiasco binary. Are you sure this one is built
> > for amd64 (i.e. 'main' is a 64bit binary)?
> Nope, main is also 32 bit.
> My assumption was, that the menuconfig generated config is used for
> fiasco as well - I guess that is wrong?

Yes, Fiasco configures separately. Do 'make config' in the fiasco build
directory to change its config.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list