L4 for amd64

Daniel Müller Daniel.Mueller at mailbox.tu-dresden.de
Tue Jul 5 13:36:50 CEST 2011

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?


More information about the l4-hackers mailing list