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?
Daniel _______________________________________________ l4-hackers mailing list [email protected] http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
