Unable to boot 64bit hello

[Daniel Müller]

Hi,

On 06/11/13 15:59, Julian Stecklina wrote:
> On 06/10/2013 11:28 PM, Daniel Müller wrote:
>> On 06/10/13 18:09, Julian Stecklina wrote:
>>> This is problem is caused by the way bootstrap works on 64-bit systems.
>>> If there is a module at 0x2d0000, bootstrap will overwrite that with its
>>> own 64-bit code and then figure out later that things are b0rken.
>> Thanks for the explanation. Does this mean this is a general problem for
>> 64 bit? And it is on the side of bootstrap? That sounds to me like the
> It is a bootstrap implementation problem. Could be fixed. You may
> volunteer. ;)
Alright, got it working now (see attached patch). If this is to be 
integrated into svn I can do some cleanups and check for errors that 
might have crept in -- just let me know.

Daniel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bootstrap_64bit_boot_issue_quick_fix.patch
Type: text/x-patch
Size: 8068 bytes
Desc: not available
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20130614/f81dff44/attachment-0001.bin>