L4 for amd64
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
More information about the l4-hackers