Unable to boot 64bit hello

[Daniel Müller]

Hi,

On 06/10/13 00:57, Adam Lackorzynski wrote:
> On Sun Jun 09, 2013 at 17:06:50 +0200, Daniel Müller wrote:
>> I tried booting a 64bit hello world program on L4/Fiasco but that
>> fails with a region overlap:
>>
>> =============================================
>> xc: info: VIRTUAL MEMORY ARRANGEMENT:
>>    Loader:        0000000000100000->000000000019dd88
>>    TOTAL:         0000000000000000->000000007f800000
>>    ENTRY ADDRESS: 0000000000100000
>> xc: info: PHYSICAL MEMORY ALLOCATION:
>>    4KB PAGES: 0x0000000000000200
>>    2MB PAGES: 0x00000000000003fb
>>    1GB PAGES: 0x0000000000000000
>> Daemon running with PID 9320 net0: 00:16:3e:72:79:e5 using rtl8139
>> on PCI00:04.0 (open)
>>    [Link:up, TX:0 TXE:0 RX:0 RXE:0]
>> DHCP (net0 00:16:3e:72:79:e5)... ok
>> net0: 192.168.178.200/255.255.255.0 gw 192.168.178.54
>> Booting from PXE menu
>> boot
>> PXEBS (net0 type 128).... ok
>> Next server: 192.168.178.54
>> Filename: pxeboot.0
>> tftp://192.168.178.54/pxeboot.0... ok
> So the environment is a Xen HVM and pxeboot.0 being the multiboot
> loader?
Yes, I use grub2's grub-mkimage to create pxeboot.0.

Daniel